¿Qué es una máquina de Turing y cómo funciona?


¿Qué es una máquina de Turing y cómo funciona?
La llamada “Máquina de Turing” es en realidad un modelo matemático consistente en un autómata que es capaz de “implementar cualquier problema matemático expresado a través de un algoritmo”. A pesar de esta definición tan complicada, en realidad la máquina de Turing destaca por su simplicidad pues manipula símbolos sobre una tira de cinta siguiendo una serie de reglas. A pesar de esta simplicidad, una máquina de Turing puede adaptarse para que simule la lógica de cualquier algoritmo de computador, de ahí su enorme potencial y valor.
Como su propio nombre indica, la máquina de Turing fue creada por el matemático inglés Alan Turing, un genio en muchos campos pero especialmente en la criptografía y la lógica. Originalmente la denominó “Máquina de Computación Lógica” siendo una de las mayores aportaciones pues despejó el camino de la ciencia de la Computación, de la Informática moderna.
Una Máquina de Turing consta de una cinta infinita dividida en espacios de trabajo o celdas yuxtapuestas que actúa como memoria, un cabezal capaz de leer y escribir símbolos en la cinta y moverla de celda en celda a derecha e izquierda, un registro de estado, y una tabla finita de instrucciones o tabla de acción.
La máquina de Turing es considerada un autómata con la capacidad de reconocer lenguajes formales de acuerdo a la jerarquía de Chomsky, razón por la cual es muy superior a otros autómatas como el autómata con pila o el autómata finito.
Existen diversos tipos de máquinas de Turing: con movimiento stay o “esperar”, con cinta infinita a ambos lados, con cinta multipista, multicinta, determinista y no determinista, la Máquina de Turing Cuántica. En resumen, una máquina de Turing es un dispositivo que transforma un INPUT en un OUTPUT, ambos formados por un código binario de unos y ceros.

Comentarios

Publicar un comentario

Entradas populares de este blog

Unidad II. Notaciones Prefija,Infija y Posfija

 Notaciones Prefija,Infija y Posfija. Forma especial en la que se pueden expresar una expresión matemática en tres formas: Infija, Prefija y Posfija. Prefija: Nos indica que el operador va antes de los operandos sus características principales son: Los operandos conservan el mismo orden que la notación infija equivalente. -No requiere de paréntesis para indicar el orden de precedencia de operadores ya que el es una operación. -Se evalúa de izquierda a derecha hasta que encontrémosle primer operador seguido inmediatamente de un par de operandos. -Se evalúa la expresión binaria y el resultado se cambia como un nuevo operando. Se repite este hasta que nos quede un solo resultado. Notación prefija:  El orden es operador, primer operando, segundo. Infija : Es la forma más común que utilizamos para escribir expresiones matemáticas, estas notaciones se refiere a que el operador esta entre los operandos. La notación infija puede estar completamente par...
Leer más

¿Por qué los registros de 32 bits se llaman EAX, EBX, ECX, EDX, etc.

¿Por qué los registros de 32 bits se llaman EAX, EBX, ECX, EDX, etc. Esta es realmente una historia interesante, En los días en que teníamos procesadores de 8 bits (los procesadores de 8 bits significan que los registros en los procesadores podrán contener datos de 8 bits), los registros se llamaban como, AL, BL Entonces, cuando nos mudamos a procesadores de 16 bits, los nombramos como, AX, BX .. (AX puede dividirse en AH y AL Del mismo modo, cuando pasamos a procesadores de 32 bits, nombramos registros como, EAX, EBX, ECX, EDX. ¿Crees que en los procesadores de 64 bits tendremos otro nombre para los registros? Sí, tiene toda la razón, tenemos diferentes nombres para los registros. Se les llama, RAX, RBX, RCX, RDX, etc. (PD: Tenemos 8 registros más en procesadores x64 llamados R8, R9, R10 ... hasta R15) No todos los procesadores de 8 bits usaban AL, BL, etc. Por ejemplo, el Motorola 6800 usaba A, B, X, SP, PC y CCR para las ba...
Leer más

2.2.3 Triplos.

2.2.3 Triplos.  En la historia de los compiladores han sido utilizadas una amplia variedad de representaciones intermedias como lo es la siguiente clase de representación de código intermedio de un árbol de 3 direcciones,2 para los operandos y una para la ubicación del resultado. esta clase incluye un amplio número de representaciones diferentes entre las cuales encontramos cuadruplos y triples. la principal diferencia entre estas notaciones y la notación postfija es que ellos incluyen referencias explicitas para los resultados de los cálculos intermedios, mientras que la notación posfija los resultados son implícitos al representarlos en una pila. §      La diferencia entre triples y cuadruplos es que con los triples es referenciado el valor intermedio hacia el número del triple que lo creo, pero en los cuádruplos requiere que ellos tengan nombres implícitos. §      Los triples tienen una ventaja obvia de ser más consistente, pero...
Leer más