(Máquina de Turing, séptupla) Alan Turing, matemático y lógico 1.La máquina lee el símbolo de la cinta en británico, nació el 23 de junio de 1912 en la posición donde se encuentra la cabeza Londres, hizo importantes contribuciones de lectura/escritura. a las matemáticas, criptoanálisis, lógica, 2.En función del símbolo leído y del filosofía y matemática biología y también estado actual la máquina: a las áreas nombradas tiempo después (a). Pasa a un nuevo estado (de forma como la informática, la ciencia cognitiva, determinista). la inteligencia artificial y la vida artificial. (b). Imprime un símbolo en la cinta en la misma posición donde acaba de leer el La máquina de Turing es un dispositivo símbolo actual para reconocimiento de lenguajes. Las (c). Mueve la cabeza de lectura/escritura máquinas de Turing son más generales una posición a la izquierda (L), o a la que cualquier autómata finito y cualquier derecha (R), La cinta se comporta como un autómata de pila, debido a que ellas dispositivo de entrada/salida. pueden reconocer tanto los lenguajes regulares como los lenguajes Comentarios personales: independientes del contexto y, además, muchos otros tipos de lenguajes. Aunque Las contribuciones por parte de Alan sean más potentes que los dos tipos de Turing fueron esenciales para el autómatas anteriores, todos ellos son desarrollo de las tecnologías, ya que bastante similares con respecto a los todavía en la actualidad estos campos componentes y las acciones que realizan. siguen avanzando y podemos considerar que aún se ven Una máquina de Turing es una séptupla influenciados teniendo reflejo en los M= (Γ, Σ, •, Q, q0, f ,F) avances del conocimiento. donde: La máquina de Turing se puede 1. Γ es el alfabeto de símbolos de la cinta considerar que es útil para poder 2. Σ ⊂Γ es el alfabeto de símbolos de entender el funcionamiento y entender entrada la lógica de un algoritmo de una 3. • ∈ Γ es el símbolo blanco que no computadora, por ejemplo, explicando pertenece a Σ las funciones de un cpu en una 4. Q es un conjunto finito de estados computadora. 5. q0 ∈ Q es el estado inicial Ya que esta máquina manipula una 6. F ⊆ Q es el conjunto de estados finales serie de símbolos sobre una cinta de 7. f es una función de transición parcial acuerdo a una tabla de reglas, podemos decir que no está diseñada como una f: Q×Γ → Q×Γ×{L, R} tecnología de computación práctica, sino como un dispositivo hipotético Este es un dispositivo capaz de adoptar un que representaría una máquina de estado determinado (de Q) y que está computación. conectado a una cabeza lectura/escritura que puede leer y escribir símbolos en una Bibliografía: cinta infinita. En cada acción o http://www.ia.urjc.es/grupo/docenci movimiento: a/automatas_itis/apuntes/capitulo13. pdf ________________________________________________________________________________ José Miguel Uribe Avilés T:1