Tarea 4 - Construcción de Máquinas de Turing

Presentado por:

Juan Camilo Cárdenas

Grupo: 301405_18

Presentado a:

Rafael Pérez Holguín

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería.

Autómatas y lenguajes formales

Abril 2021
 Ejercicios 1: Maquinas de Turing

Ejercicio C

Caracterización de la máquina de Una máquina de turing se representa como

turing una séptupla: M= (Σ, Q Γ, s, b, f, δ). Donde:

1. Σ alfabeto de entrada: {1, 0}

2. Γ alfabeto de cinta: {1,0}
3. Q conjunto de estados: {q0, q1, q2, q3}
4. s estado inicial: {q0}
5. b símbolo blanco: {Ц}
6. f estado final: {q3}
7. δ función de transición:
δ (q0, 0) = (q0, 0, R)
δ (q0, 1) = (q0, 1, R)
δ (q0, Ц) = (q1, Ц, L)
δ (q1, 1) = (q2, 0, L)
δ (q2, 1) = (q2, 0, L)
δ (q2, Ц) = (q3, 1, S)

Cuadro Comparativo
Máquina Máquina
Reconocedora Transductora
Esta máquina es
capaz de modificar
Esta máquina puede
el contenido de la
reconocer o aceptar
cinta de acuerdo con
un lenguaje L, es
la regla establecida,
decir, que esta es la
depende como esta
que se encarga de
formada la entrada,
aceptar las cadenas
así mismo terminará
que se ingresan.
ya sea en un estado
final o no final.
Procedimiento de paso a paso Cadena seleccionada:
del recorrido de una cadena

- Paso 1. Transición (q0, 1) = (q0, 1, R)

Se inicia en el estado q0, donde se lee un 1 y

se escribe un 1, se desplaza a la derecha
quedando en el estado q0.

- Paso 2. Transición (q0, 1) = (q0, 1, R)

Estando en q0, se lee un 1 y se escribe un 1, se

desplaza nuevamente a la derecha y queda en
el mismo estado q0.

- Paso 3. Transición (q0, 1) = (q0, 1, R)

En el estado q0, se lee un 1 y se escribe un 1,

se desplaza a la derecha y queda en el estado
q0.

- Paso 4. Transición (q0, 1) = (q0, 1, R)

En el estado q0, se lee un 1 y se escribe un 1,

se desplaza a la derecha y queda en el estado
q0.
- Paso 5. Transición (q0, 1) = (q0, 1, R)

En el estado q0, se lee un 1 y se escribe un 1,

se desplaza a la derecha y queda en el estado
q0.

- Paso 6. Transición (q0, Ц) = (q1, Ц, L)

En el estado q0, se lee un símbolo vacío Ц y se

escribe un Ц, se desplaza a la izquierda y
queda en el estado q1.

- Paso 7. Transición (q1, 1) = (q2, 0, L)

En el estado q1, se lee un 1 y se escribe un 0,

se desplaza a la derecha y queda en el estado
q2.

- Paso 8. Transición (q2, 1) = (q2, 0, L)

En el estado q2, se lee un 1 y se escribe un 0,

se desplaza a la derecha y queda en el estado
q2.

- Paso 9. Transición (q2, 1) = (q2, 0, L)

En el estado q2, se lee un 1 y se escribe un 0,

se desplaza a la derecha y queda en el estado
q2.
 - Paso 10. Transición (q2, 1) = (q2, 0, L)

En el estado q2, se lee un 1 y se escribe un 0,

se desplaza a la derecha y queda en el estado
q2.

- Paso 11. Transición (q2, 1) = (q2, 0, L)

En el estado q2, se lee un 1 y se escribe un 0,

se desplaza a la derecha y queda en el estado
q2.

- Paso 12. Transición (q2, Ц) = (q3, 1, S)

En el estado q2, se lee un símbolo vacío Ц y se

escribe un 1, se detiene y queda en el estado q3
donde finaliza.

Practicar y verificar lo Cadenas Aceptadas:

aprendido

Cadenas Rechazadas:
 Bibliografía

➢ Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría de

lenguajes, gramáticas y autómatas para informáticos. Digitalia. (pp. 11 - 80).

Recuperado de https://bibliotecavirtual.unad.edu.co/login?url=https://search-

ebscohost-

com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=nlebk&AN=318032

&lang=es&site=ehost-live&ebv=EB&ppid=pp_Cover

➢ González, A. [Ángela]. (2018, junio 1). Lenguajes Estructurados por Frases.

[Archivo web]. Recuperado de http://hdl.handle.net/10596/18316