Documentos de Académico
Documentos de Profesional
Documentos de Cultura
ACTIVIDAD INDIVIDUAL
1. Ejercicio 1 2. Ejercicio 2
3. Ejercicio 3 4. Ejercicio 4
5. Ejercicio 5
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:
EJERCICIO A
TRABAJAR Ejercicio 5
Caracterización Formalmente una Máquina de Turing se define como la 7-tupla MT= {Q,
de la máquina ∑,Г, δ, q0, B, F} donde:
de turing
Q: Es el conjunto finito de estados.|
- ∑={ 0,1 } .
- Г= { 0,1, B }; ∑ Г.
- F= { q4 } .
El cuadro donde se explican las máquinas reconocedoras y
transductoras está al final del trabajo. Para este ejercicio tenemos una
MT transductora.
0 1 B
𝑞0 (𝑞0 , 0, 𝑅) (𝑞0 , 1, 𝑅) (𝑞1 , 𝐵, 𝐿)
𝑞1 (𝑞2 , 1, 𝐿) - -
𝑞2 (𝑞2 , 0, 𝐿) (𝑞2 , 1, 𝐿) (𝑞4 , 𝐵, 𝑅)
𝑞4 - - -
δ(q0,1)=(q0,1,R)
δ(q0,0)=(q0,0,R)
δ(q0,0)=(q0,0,R)
δ(q0,1)=(q0,1,R)
δ(q0,0)=(q0,0,R)
δ(q0,1)=(q0,1,R)
• Luego lee un 1, escribe un 1, se mueve a la derecha
en la cinta y permanece en 𝑞0 . Se ha recorrido
10101011 en la cadena. La transición es la siguiente:
δ(q0,1)=(q0,1,R)
δ(q0,0)=(q0,0,R)
δ(q0,1)=(q0,1,R)
1111100000
1010101010
1010100000
1101000010
0000111000
- Cadenas rechazadas
0000000001
0101010101
0001111111
0011001101
0111000111
Todas estas cadenas son rechazadas, ya que
terminan en 1, como se explica al comienzo de este
punto. Al ejecutar el Fast Run en JFLAP nos arroja:
Ejemplos:
◦ Dividir una palabra en dos Ejemplos:
◦ Aplicar un homomorfismo ◦ Máquina de Turing que acepta palabras
◦ Desplazar los símbolos un número de que terminan y comienzan con el mismo
veces a derecha o izquierda símbolo.
◦ Máquina de Turing que acepta cadenas
que intercalan los símbolos en
determinado orden.