Tomado de Sudkamp: Languages and Machines Cap. 7.

Presentación del tema: "Tomado de Sudkamp: Languages and Machines Cap. 7."— Transcripción de la presentación:

1 Tomado de Sudkamp: Languages and Machines Cap. 7.
Máquinas de Turing Tomado de Sudkamp: Languages and Machines Cap. 7.

2 Máquinas de Turing M=(,Q,,,q0) b/a R b/b L q1 q2 q0 B/B R B/B L
a/b R a/a L a a b a q0 b b a b q2 b b a b q2 b b a b q2 b b a b q2 b b a a q1 b a b a q1 a a b a q1 b b b a q1 b b a b q1 b b a b q2

3 Ejemplos de Máquinas de Turing
a/a R b/b R q0 B/B R q1 X/X R Y/Y R b/Y R B/a L q6 q5 q7 X/a L Y/b L a/X R q4 a/a L b/b L B/BL B/b L B/B L

4 Máquinas de Turing como aceptadora
M=(,Q,,,q0,F) Una palabra u de * es aceptada por estado final si M con entrada u se detiene en un estado de F. q0 q1 q2 q3 B/B R b/b R a/a R

5 MT que acepta aibici q1 q0 B/B R q3 Y/Y R Z/Z R q1 Y/Y R B/B R q2 q3
a/X R b/Y R c/Z L X/X R b/b R Z/Z R a/a L b/b L Y/Y L Z/Z L a/a R Y/Y R B/B R MT que acepta aibici

6 Máquinas de Turing como aceptadora por parada
M=(,Q,,,q0) Una palabra u de * es aceptada por parada si M con entrada u se detiene en cualquier estado estado de Q. q0 q1 q2 q3 B/B R b/b R a/a R qf B/B R B/B R a/a R b/b R Un lenguajes L es aceptado por una MT por parada si y solo si, es aceptado por una MT por estado final.

7 Máquina de Turing con multi-cintas de un solo cabezote (multi-track)
 ’: Q-->Q{L,R}

8 Máquina de Turing con cintas de doble sentido (two-way tape).

9 Máquina de Turing con multi-cintas con lector pulpo (multitape).
 : Qn-->Q({L,R})n

10 Generadora de {1,2,...,n}* q0 q0 i/i L B/1 L B/B R 1/1 R q3 q2 q1 q0
1 2 q0 1 1 i/i L B/1 L B/B R 1/1 R q3 q2 q1 q0 n/1 L B/B L 1/2 L 2/3 L n-1/n L ... i/i R q0 1 2 q2 1 q0 1 1 q2 q0 1 q0 3 q0 2 q2 3 q1 1 1 q3 1 q1 3 q2 2 q3 q1 q2 1 q1 1 q1 2 q1 1 1 q1 1 q1 3 q1 2 q1 1 1 q2 1 1 q3 1 q0 q1 q1

11 Máquina de Turing no determinística
B/b R a/a R b/b R c/c R c/c R a/a R b/b R q7 c/c L q5 q6 b/b L a/a L M acepta las palabras que contengan una c seguida o precedida de ab. Máquina de Turing no determinística

12 SIMULADOR DETERMINÍSITICO
Sucesión d b c d Simulación a b c d Input q1

13 Jerarquía de Chomsky GRAMÁTICAS LENGUAJES AUTÓMATAS Tipo 0,
Sin restriccciones Recursivamente enumerables Máquinas de Turing. Tipo 1, Sensitivas al contexto. Monotonicas Sensitivos al contexto Autómatas acotados linealmente. Tipo 2, descontextualizadas Independietes del contexto Autómatas de Pila. Tipo 3, Gramáticas regulares Regulares Autómatas finitos AFD, AFND

14 q2 1 1 1 q4 1 1 1 q0 1 1 q3 c/Z R q1