En la teoría de la computación, las máquinas abstractas con frecuencia son usadas en experimentos de pensamiento sobre computabilidad o para analizar la complejidad de algoritmos (ver la teoría de la complejidad computacional). Una típica máquina abstracta consiste en una definición en términos de entrada, salida y el conjunto de las operaciones permitidas usadas para convertir la primera en la segunda. El ejemplo más conocido es la máquina de Turing.
Definiciones más complejas crean máquinas abstractas con completos conjuntos 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 indexada. A medida que crece la diferencia de rendimiento entre diferentes niveles de memoria caché, los modelos sensibles al caché como el modelo de memoria externa y el modelo ajeno del caché están creciendo en importancia.
Una máquina abstracta puede referirse a un diseño de microprocesador que todavía está por ser (o no pretende ser) implementado como hardware. Una máquina abstracta que implementada como una simulación de software, o para la que existe un interpretador, es llamada una máquina virtual.
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 real para hacerlo.
Macura, Wiktor K. «Abstract Machine». En Weisstein, Eric W, ed. MathWorld(en inglés). Wolfram Research.
Peter van Emde Boas, Machine Models and Simulations pp. 3–66, appearing in:
Jan van Leeuwen, ed. "Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity, The MIT PRESS/Elsevier, 1990. ISBN 0-444-88071-2 (volume A). QA 76.H279 1990.
Stephan Diehl, Pieter Hartel and Peter Sestoft, Abstract Machines for Programming Language Implementation, Future Generation Computer Systems, Vol. 16(7), Elsevier, 2000.
Datos:Q787114
Agosto 09, 2021
máquina, abstracta, máquina, abstracta, también, llamada, computador, abstracto, modelo, teórico, sistema, computador, hardware, software, usado, teoría, autómatas, abstracción, procesos, computacionales, usada, disciplinas, ciencias, computación, ingeniería, . Una maquina abstracta tambien llamada un computador abstracto es un modelo teorico de un sistema computador de hardware o software usado en la teoria de automatas La abstraccion de procesos computacionales es usada en las disciplinas de las ciencias de la computacion y la ingenieria de computacion y usualmente asume el paradigma de tiempo discreto En la teoria de la computacion las maquinas abstractas con frecuencia son usadas en experimentos de pensamiento sobre computabilidad o para analizar la complejidad de algoritmos ver la teoria de la complejidad computacional Una tipica maquina abstracta consiste en una definicion en terminos de entrada salida y el conjunto de las operaciones permitidas usadas para convertir la primera en la segunda El ejemplo mas conocido es la maquina de Turing Definiciones mas complejas crean maquinas abstractas con completos conjuntos de instrucciones registros y modelos de memoria Un modelo popular mas similar a las maquinas modernas reales es el modelo RAM que permite el acceso aleatorio a ubicaciones de memoria indexada A medida que crece la diferencia de rendimiento entre diferentes niveles de memoria cache los modelos sensibles al cache como el modelo de memoria externa y el modelo ajeno del cache estan creciendo en importancia Una maquina abstracta puede referirse a un diseno de microprocesador que todavia esta por ser o no pretende ser implementado como hardware Una maquina abstracta que implementada como una simulacion de software o para la que existe un interpretador es llamada una maquina virtual Mediante el uso de maquinas abstractas es posible calcular la cantidad de recursos tiempo memoria etc necesarios para realizar una operacion en particular sin tener que construir un sistema real para hacerlo Vease tambien EditarAbstraccionReferencias EditarMacura Wiktor K Abstract Machine En Weisstein Eric W ed MathWorld en ingles Wolfram Research Peter van Emde Boas Machine Models and Simulations pp 3 66 appearing in Jan van Leeuwen ed Handbook of Theoretical Computer Science Volume A Algorithms and Complexity The MIT PRESS Elsevier 1990 ISBN 0 444 88071 2 volume A QA 76 H279 1990 dd Stephan Diehl Pieter Hartel and Peter Sestoft Abstract Machines for Programming Language Implementation Future Generation Computer Systems Vol 16 7 Elsevier 2000 Datos Q787114Obtenido de https es wikipedia org w index php title Maquina abstracta amp oldid 134599909, wikipedia, wiki, leyendo, leer, libro, biblioteca,
