maquina de turin
AUTOMATAS Y COMPILADORES
JESUS SALAS CALDERA
Docente:
GULLERMO HERNANDEZ
CORPORACION UNIVERSITARIA DEL CARIBE
CECAR
Ingeniería deSistemas
Sincelejo – Sucre
2014
MAQUINAS DETURING:
(MT) Es un modelo computacional que realiza una lectura/escritura de manera automática sobre una entrada llamada cinta, generando una salida enesta misma. Este modelo está conformado por un alfabeto de entrada y uno de salida, un símbolo especial llamado blanco (normalmente b, Δ o 0), un conjunto de estados finitos y un conjunto detransiciones entre dichos estados.
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo a una tabla de reglas. A pesar de su simplicidad, una máquina de Turing puedeser adaptada para simular la lógica de cualquier algoritmo de computador y es particularmente útil en la explicación de las funciones de un CPU dentro de un computador.
La máquina de Turing fuedescrita por Alan Turing como una máquina automática en 1936. La máquina de Turing no está diseñada como una tecnología de computación práctica, sino como un dispositivo hipotético que representauna máquina de computación. Ayudan a los científicos a entender los límites del cálculo mecánico.
La máquina de Turing puede considerarse como un autómata capaz de reconocer lenguajes formales. En esesentido es capaz de reconocer los lenguajes recursivamente numerables, de acuerdo a la jerarquía de Chomsky.
Su potencia es, por tanto, superior a otros tipos de autómatas, como el autómata finito, o elautómata con pila, o igual a otros modelos con la misma potencia computacional. Las maquinas de Turing se pueden representar mediante grafos particulares, también llamados diagramas de estadosfinitos, de la siguiente manera.
Esta Máquina de Turing está definido sobre el alfabeto Σ={a,b,c}, posee el conjunto de estados.
Q={qo,q1,q2,q3,q4,q5,q6}, con las transiciones que se pueden ver....
Regístrate para leer el documento completo.