Máquinas de Turing Tomado de Sudkamp: Languages and Machines Cap. 7.
-
Upload
apolinar-felix -
Category
Documents
-
view
4 -
download
0
Transcript of Máquinas de Turing Tomado de Sudkamp: Languages and Machines Cap. 7.
![Page 1: Máquinas de Turing Tomado de Sudkamp: Languages and Machines Cap. 7.](https://reader038.fdocuments.us/reader038/viewer/2022103110/54b6560649795948098b7c5a/html5/thumbnails/1.jpg)
Máquinas de Turing
Tomado de Sudkamp:
Languages and Machines
Cap. 7.
![Page 2: Máquinas de Turing Tomado de Sudkamp: Languages and Machines Cap. 7.](https://reader038.fdocuments.us/reader038/viewer/2022103110/54b6560649795948098b7c5a/html5/thumbnails/2.jpg)
Máquinas de Turing M=(,Q,,,q0)
: ,Q Q L R B
b/a R b/b L
q1 q2q0B/B R B/B L
a/b R a/a L
a a b a
q0
b b a b
q2
a a b a
q1
b a b a
q1
b b b a
q1
b b a b
q1
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
![Page 3: Máquinas de Turing Tomado de Sudkamp: Languages and Machines Cap. 7.](https://reader038.fdocuments.us/reader038/viewer/2022103110/54b6560649795948098b7c5a/html5/thumbnails/3.jpg)
Ejemplos de Máquinas de Turing
q4
a/a Lb/b LB/BL
a/X R
B/b L
q2 q3
a/a Rb/b R
a/a Rb/b Rq0 B/B R q1
X/X RY/Y R
b/Y R
B/B R
B/B RB/a L
q6q5
a/a Rb/b R
a/a Rb/b R
q7
X/a LY/b L
B/B L
![Page 4: Máquinas de Turing Tomado de Sudkamp: Languages and Machines Cap. 7.](https://reader038.fdocuments.us/reader038/viewer/2022103110/54b6560649795948098b7c5a/html5/thumbnails/4.jpg)
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
b/b R
a/a R a/a R
![Page 5: Máquinas de Turing Tomado de Sudkamp: Languages and Machines Cap. 7.](https://reader038.fdocuments.us/reader038/viewer/2022103110/54b6560649795948098b7c5a/html5/thumbnails/5.jpg)
q1
q0
B/B R 0| icba iii
a/a R Y/Y R
q2 q3 q4a/X R b/Y R c/Z L
b/b R Z/Z R
a/a L b/b L Y/Y L Z/Z L
X/X R
q3
Y/Y R Z/Z R
q1
Y/Y R
B/B RB/B R
MT que acepta aibici
![Page 6: Máquinas de Turing Tomado de Sudkamp: Languages and Machines Cap. 7.](https://reader038.fdocuments.us/reader038/viewer/2022103110/54b6560649795948098b7c5a/html5/thumbnails/6.jpg)
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
b/b R
a/a R a/a R
qf
B/B R B/B R 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 Turingcomo aceptadora
por parada
![Page 7: Máquinas de Turing Tomado de Sudkamp: Languages and Machines Cap. 7.](https://reader038.fdocuments.us/reader038/viewer/2022103110/54b6560649795948098b7c5a/html5/thumbnails/7.jpg)
q2 : ,Q Q L R ’: Q-->Q{L,R}
Máquina de Turing con multi-cintas de un solo cabezote (multi-track)
![Page 8: Máquinas de Turing Tomado de Sudkamp: Languages and Machines Cap. 7.](https://reader038.fdocuments.us/reader038/viewer/2022103110/54b6560649795948098b7c5a/html5/thumbnails/8.jpg)
Máquina de Turing con cintas de doble sentido (two-way tape).
q2
![Page 9: Máquinas de Turing Tomado de Sudkamp: Languages and Machines Cap. 7.](https://reader038.fdocuments.us/reader038/viewer/2022103110/54b6560649795948098b7c5a/html5/thumbnails/9.jpg)
Máquina de Turing con multi-cintas con lector pulpo (multitape).
q2
: Qn-->Q({L,R})n
![Page 10: Máquinas de Turing Tomado de Sudkamp: Languages and Machines Cap. 7.](https://reader038.fdocuments.us/reader038/viewer/2022103110/54b6560649795948098b7c5a/html5/thumbnails/10.jpg)
Generadora de {1,2,...,n}*
i/i L B/1 L B/B R
1/1 Rq3
q2
q1
q0
n/1 L
B/B LB/B R
1/2 L2/3 L
n-1/n L
...
i/i R
q0
q0
1
q1
q2
q3
q1
1
q1
1
q2
1
q0
2
q1
2
q1
2
q2
2
q0
3
q1
3
q1
3
q2
3
q2
1
q3
1
q3
1
q0
1 1
q0
1 1
q1
1 1
q1
1 1
q1
1 1
q2
1 1
q0
1 2
q0
1 2
q1
1 2 3
q1
3 3 3
![Page 11: Máquinas de Turing Tomado de Sudkamp: Languages and Machines Cap. 7.](https://reader038.fdocuments.us/reader038/viewer/2022103110/54b6560649795948098b7c5a/html5/thumbnails/11.jpg)
q0 q1 q2 q3 q4
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
q5q6
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.
![Page 12: Máquinas de Turing Tomado de Sudkamp: Languages and Machines Cap. 7.](https://reader038.fdocuments.us/reader038/viewer/2022103110/54b6560649795948098b7c5a/html5/thumbnails/12.jpg)
SIMULADOR DETERMINÍSITICO
q1
1 3 2 1 1
d b c d
a b c d Input
Simulación
Sucesión
![Page 13: Máquinas de Turing Tomado de Sudkamp: Languages and Machines Cap. 7.](https://reader038.fdocuments.us/reader038/viewer/2022103110/54b6560649795948098b7c5a/html5/thumbnails/13.jpg)
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
Jerarquía de Chomsky
![Page 14: Máquinas de Turing Tomado de Sudkamp: Languages and Machines Cap. 7.](https://reader038.fdocuments.us/reader038/viewer/2022103110/54b6560649795948098b7c5a/html5/thumbnails/14.jpg)
q3q1c/Z R
q4
1 1 1
q0
1 1 q2
1 1 1