Teoría de Autómatas

Máquinas de Turing

Lic. Yazmany Jahaziel Guerrero Ceja, M.I.S.I.

 Máquinas de Turing
Generalidades
Lenguajes Regulares
L={an| n  1}
Lenguajes Regulares y Lenguajes Independientes del Contexto
L={anbn | n  1}
Lenguajes
L={anbncn | n  1}

Lic. Yazmany Jahaziel Guerrero Ceja, M.I.S.I.

 Máquinas de Turing
• Autómata capaz de reconocer todo lenguaje.
• Cuenta con un mecanismo que permite almacenamiento ilimitado y
opera como una cinta multidimensional.
• M=(Q, , , , s, ƀ, F)
 Q: Conjunto finito de estados.  s ∈ Q: Estado inicial o de partida.
 : Alfabeto de entrada.  ƀ ∈ : Símbolo inicial de la cinta.
 : Alfabeto de la cinta.  F ⊆ Q: Conjunto de estados finales o de
 : Regla de transición. aceptación.

Lic. Yazmany Jahaziel Guerrero Ceja, M.I.S.I.

 Máquinas de Turing
• En la regla de transición para obtener el siguiente estado y la acción a
realizar sobre la cinta, se debe conocer el estado actual y el símbolo
actual de entrada:

(q, ) = {(p, w, x)}

Estando en el estado q y teniendo a  en la entrada, pasará al estado p, sustituirá  de la entrada y
colocará w y realizará el movimiento x.

Lic. Yazmany Jahaziel Guerrero Ceja, M.I.S.I.

 Máquinas de Turing
Ejercicios
1. L={anb2n| n  0}
2. L={anbman+m | n  0 y m  1 }
3. L={anbn+1a2n| n  0}
4. L={anbncn+1| n  0}
5. L={anbnanbm | n  0 y m  0 }

Lic. Yazmany Jahaziel Guerrero Ceja, M.I.S.I.