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

Caracteriza En este espacio se realiza:

ción de la - Mediante la definición formal explicar las características de la
máquina de máquina de Turing.
turing 𝑄 = [𝑞0, 𝑞1, 𝑞2, 𝑞3]
𝑞0 = [𝑒𝑠𝑡𝑎𝑑𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑙]
∑ = [1,0, □]
𝐹 = [𝑞3]

𝛥 = (𝑞0,0) = 𝑞0
𝛥 = (𝑞0,1) = 𝑞0
𝛥 = (𝑞0, □) = 𝑞1
𝛥 = (𝑞1,0) = 𝑞2
𝛥 = (𝑞2,0) = 𝑞2
𝛥 = (𝑞2,1) = 𝑞2
𝛥 = (𝑞2, □) = 𝑞4

- Realizar un cuadro donde explique las diferencias y similitudes

de las máquinas reconocedoras y Transductoras
Maquinas reconocedoras y transductoras, diferencias y
similitudes
Similitudes Diferencias
Las dos leen un lenguaje La transductora cambia
símbolos en la cinta de lectura
por ejemplo cambia un 1 por
un 0, o añade bits de paridad a
la entrada
Las dos deben recibir una La reconocedora lee los
línea de símbolos o caracteres símbolos bajo una función por
que van en una cinta de ejemplo δ(qo,1)=(q2,1,L)
lectura
Al final las dos funcionan a La transductora siempre debe
base de funciones o reglas llegar a un estado final
establecidas al principio de la
maquina
Una máquina de Turing
reconoce el lenguaje L, y
parara el proceso si dada una
entrada W en la cinta, pero si
W ε L osea si W es símbolo
reconocido en lenguaje L, de
lo contrario nunca pararía.
Ambas deben aceptar y/o
reconocer las mismas
palabras y para cada entrada
posible los contenidos de la
cinta al final del proceso
deben ser iguales
Procedimie
nto de paso
a paso del
recorrido
de una
cadena
Practicar y Ejemplo 1 10101010 Aceptado
verificar lo El primer paso es iniciar en el estado q0 y alistarse para la
aprendido lectura del primer carácter, en este caso se dispone a leer el
primer carácter de la cadena que es 1

Al leer este paso según la regla impuesta como es un 1 se

quedara e el mismo estado y se correrá a la derecha (R)
Efectivamente se corrió hacia la derecha lo que quiere decir que
ahora va a leer el 0, y por regla se quedara en el mismo estado
y luego se correra en la cinta hacia el lado derecho, osea que
ahora tendría que leer el 1.

Si nos fijamos bien los próximos 5 pasos de esta cadena se

quedaran en el mismo estado y se correrán hacia la derecha
según la regla establecida, así que colocare las gráficas de
como quedaran en estos pasos sin explicarlos pues sería lo
mismo del paso anterior
En este paso la cinta se corrió de lugar hacia la derecha y el
símbolo siguiente es un espacio vacio

Así que el estado pasa a q1 y por regla entonces su posición

cambia en la cinta hacia la izquierda (L). es decir que volvería a
leer el símbolo 0.
Como va a leer el símbolo 0 el estado cambiara a q2, y en la
cinta quedara listo para leer el símbolo 1, pero por la regla dice
que si lee un 0 entonces escribirá un 1 y correrá a la izquierda

Si nos fijamos los siguientes 6 pasos van a ser lo mismo, se

quedara en el mismo estado, pero en la cinta de símbolos se
correrá lugares a la izquierda hasta llegar al símbolo vacío
Llegado a este punto en el que tiene que leer el símbolo vacio
asi que por regla deberá cambiar al estado q4 y mover la
posición de la cinta hacia la derecha (R).

Y aquí finaliza la máquina de Turing.

Los siguientes ejemplos no los explicare solo colocare el estado

final para probar las maquinas

Ejemplo 2 00000000 Aceptado

Ejemplo 3 11111110 Aceptado

Ejemplo 4 11111100 Aceptado

Ejemplo 5 11111000 Aceptado

Ejemplo 1 00000001 No aceptado

Ejemplo 2 00001111 No Aceptado

Ejemplo 3 11111111 No aceptado

Ejemplo 4 11111111 No aceptado

Ejemplo 5 11000111_ No aceptado

Bibliografía
 González, A. [Ángela]. (2018, junio 1). Lenguajes Estructurados por Frases. [Archivo web]. Recuperado

de http://hdl.handle.net/10596/18316

 CK-12, (2012). Case History: How Math, Science, and Engineering Led to the First Pocket Radio. [OVI].

Recuperado de: http://www.ck12.org/book/Engineering%3A-An-Introduction-for-High-School/section/5.2/

 Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y Autómatas Para

Informáticos. Recuperado

de http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=318032&lang=es&sit

e=eds-live&ebv=EB&ppid=pp_Cover