 | Este artículo necesita citas adicionales para su verificación . ( octubre de 2009 ) ( Aprenda cómo y cuándo eliminar este mensaje de plantilla ) |
Una máquina abstracta , también llamada computadora abstracta , es una computadora teórica que se utiliza para definir un modelo de cálculo . La abstracción de los procesos informáticos se utiliza tanto en las disciplinas de la informática como de la ingeniería informática y, por lo general, asume un paradigma de tiempo discreto .
Información [ editar ]
En la teoría de la computación , las máquinas abstractas se utilizan a menudo en experimentos mentales relacionados con la computabilidad o para analizar la complejidad de los algoritmos ( ver teoría de la complejidad computacional ). Una máquina abstracta típica consiste en una definición en términos de entrada, salida y el conjunto de operaciones permitidas que se utilizan para convertir la primera en la segunda. El ejemplo más conocido es la máquina de Turing .
Los tipos de datos abstractos se pueden especificar en términos de su semántica operativa en una máquina abstracta. Por ejemplo, una pila se puede especificar en términos de operaciones en una máquina abstracta con una matriz de memoria. Mediante el uso de máquinas abstractas es posible calcular la cantidad de recursos (tiempo, memoria, etc.) necesarios para realizar una operación en particular sin tener que construir un sistema físico. [ aclaración necesaria ]
Las definiciones más complejas crean máquinas abstractas con conjuntos completos de instrucciones , registros y modelos de memoria . Un modelo popular más similar a las máquinas modernas reales es el modelo RAM , que permite el acceso aleatorio a ubicaciones de memoria indexadas. A medida que aumenta la diferencia de rendimiento entre los diferentes niveles de memoria caché, los modelos sensibles a la memoria caché, como el modelo de memoria externa y el modelo ajeno a la memoria caché, adquieren una importancia cada vez mayor.
Una máquina abstracta también puede referirse a un diseño de microprocesador que aún no se ha implementado (o no se pretende implementar) como hardware. Una máquina abstracta implementada como una simulación de software, o para la que existe un intérprete , se llama máquina virtual .
Ver también [ editar ]
- Abstracción (informática)
- Interpretación abstracta
- Paralelo síncrono a granel
- Tiempo discreto
- Máquina de estados finitos
- Taxonomía de Flynn
- Modelos formales de computación
- Máquina Krivine
- Modelo de computación
- Máquina paralela de acceso aleatorio , el modelo estándar de facto. [1]
- Máquina SECD
- Espacio de Estados
- máquina de Turing
Referencias [ editar ]
- ^ DB Skillicorn (2005). Fundamentos de la programación paralela . Prensa de la Universidad de Cambridge. pag. 18. ISBN 978-0-521-01856-2.
- Este artículo se basa en material extraído del Diccionario de Computación en línea gratuito antes del 1 de noviembre de 2008 e incorporado bajo los términos de "renovación de licencias" de la GFDL , versión 1.3 o posterior.
Lectura adicional [ editar ]
- Peter van Emde Boas, Machine Models and Simulations págs. 3-66, que aparece en:
- Jan van Leeuwen , ed. "Handbook of Theoretical Computer Science. Volumen A: Algoritmos y complejidad , The MIT PRESS / Elsevier, 1990. ISBN 0-444-88071-2 (volumen A). QA 76.H279 1990.
- Stephan Diehl, Pieter Hartel y Peter Sestoft, Máquinas abstractas para la implementación del lenguaje de programación , Future Generation Computer Systems, Vol. 16 (7), Elsevier, 2000.
- Werner Kluge (2006). Máquinas de computación abstracta: una perspectiva de cálculo Lambda . Saltador. ISBN 978-3-540-27359-2.
