Documentos de Académico
Documentos de Profesional
Documentos de Cultura
En forma similar a las demás máquinas abstractas, una Máquina de Turing puede representarse
gráficamente a través de los llamados Diagramas finitos o de transición. Un diagrama de transición
está formado por un conjunto de nodos que corresponden a los estados de la MT. La transición
δ(q,a)=(p,b,D)se representa así:
Para explicar el reconocimiento de la cadena por una MT se presenta el siguiente ejemplo. Sea M
una MT con la siguiente descripción M=(Q,Σ,Γ,q_0,q_1,B,δ), donde Q={q_0,q_1 }, Σ={a,b}, y B
indica el espacio en blanco.
(1) El cabezal, representado con una flecha roja, lee el primer símbolo “a”. La transición dice que al
estar en q0 y leer una “a”, se sobrescribe “a” y el cabezal se mueve a la derecha:
(2) A continuación, el estado sigue siendo q0, y el cabezal lee el segundo símbolo “a”.
Nuevamente, queda en q0, sobrescribe una “a”, y el cabezal se mueve a la derecha.
(4) En este instante, el cabezal lee un espacio en blanco, B. Según las transiciones de la MT, en el
estado q0 un espacio B cambia el estado de la máquina a q1, mantiene B y mueve el cabezal a la
derecha. El estado q1 es final de aceptación, por lo que la cadena es aceptada.