La descarga está en progreso. Por favor, espere

La descarga está en progreso. Por favor, espere

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

Presentaciones similares


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

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

2 Máquinas de Turing M=(,Q,,,q 0 ) b/a Rb/b L q1q1 q2q2 q0q0 B/B R B/B L a/b Ra/a L a a b a q0q0 b b a b q2q2 a a b a q1q1 b a b a q1q1 b b b a q1q1 b b a b q1q1 q2q2 q2q2 q2q2 q2q2 b b a a q1q1

3 Ejemplos de Máquinas de Turing q4q4 a/a L b/b L B/BL a/X R B/b L q2q2 q3q3 a/a R b/b R a/a R b/b R q0q0 B/B R q1q1 X/X R Y/Y R b/Y R B/B R B/a L q6q6 q5q5 a/a R b/b R a/a R b/b R q7q7 X/a L Y/b L B/B L

4 Máquinas de Turing como aceptadora M=(,Q,,,q 0,F) Una palabra u de * es aceptada por estado final si M con entrada u se detiene en un estado de F. q0q0 q1q1 q2q2 q3q3 B/B R b/b R a/a R

5 q1q1 q0q0 B/B R a/a R Y/Y R q2q2 q3q3 q4q4 a/X Rb/Y Rc/Z L b/b R Z/Z R a/a L b/b L Y/Y L Z/Z L X/X R q3q3 Y/Y R Z/Z R q1q1 Y/Y R B/B R MT que acepta a i b i c i

6 M=(,Q,,,q 0 ) Una palabra u de * es aceptada por parada si M con entrada u se detiene en cualquier estado estado de Q. q0q0 q1q1 q2q2 q3q3 B/B R b/b R a/a R qfqf 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. Máquinas de Turing como aceptadora por parada

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

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

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

10 Generadora de {1,2,...,n}* i/i L B/1 LB/B R 1/1 R q3q3 q2q2 q1q1 q0q0 n/1 L B/B L B/B R 1/2 L 2/3 L n-1/n L... i/i R q0q0 q0q0 1 q1q1 q2q2 q3q3 q1q1 1 q1q1 1 q2q2 1 q0q0 2 q1q1 2 q1q1 2 q2q2 2 q0q0 3 q1q1 3 q1q1 3 q2q2 3 q2q2 1 q3q3 1 q3q3 1 q0q0 1 1 q0q0 q1q1 q1q1 1 q1q1 1 1 q2q2 q0q0 1 2 q0q0 q1q q1q

11 q0q0 q1q1 q2q2 q3q3 q4q4 B/b R a/a R b/b R c/c R c/c Ra/a Rb/b R q7q7 c/c L q5q5 q6q6 b/b L a/a L Máquina de Turing no determinística M acepta las palabras que contengan una c seguida o precedida de ab.

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

13 GRAMÁTICASLENGUAJESAUTÓ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 RegularesAutómatas finitos AFD, AFND Jerarquía de Chomsky

14 q3q3 q1q1 c/Z R q4q q0q0 1 1 q2q


Descargar ppt "Máquinas de Turing Tomado de Sudkamp: Languages and Machines Cap. 7."

Presentaciones similares


Anuncios Google