UNIDAD 2.

MÁQUINAS DE TURING

Presentado a
EDGAR ANTONIO CORTES
Tutor

Presentado por
YAMID ARENAS – CODIGO 79956117

Estudiantes Grupo Colaborativo

301405_51

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INGENIERÍA DE SISTEMAS
ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
AUTÓMATAS Y LENGUAJES FORMALES
NOVIEMBRE DEL 2017
 DESARROLLO DE LA ACTIVIDAD INDIVIDUAL

ACTIVIDAD 1: Maquinas de Turing

Último dígito de Ejercicio

la Cédula o TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 Ejercicio 5

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4

5. Ejercicio 5
DESARROLLO
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:
EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor agregue la
TRABAJAR imagen

Caracterización En este espacio se realiza:

de la máquina de - Mediante la definición formal explicar las
turing características de la máquina de Turing.

Una máquina de Turing es una séptupla M = (Γ, ∑, •, Q,

q0, f, F) donde:
1. Γ es el alfabeto de símbolos de la cinta.
2. ∑ < Γ es el alfabeto de símbolos de entrada.
3. • ɛ Γ es el símbolo blanco que no pertenece a ∑.
4. Q es un conjunto finito de estados.
5. q0 ɛ Q es el estado inicial.
6. F ≤ Q es el conjunto de estados finales.
7. f es una función de transición parcial.
f: Q x Γ → Q x Γ x {L, R}
Esta máquina de Turing reconocedora es un contador
unario de caracteres de alfabeto {a,b,c}, es decir el
usuario podrá ingresar una cinta de tantas a,b y c como
desee estos caracteres serán reemplazados por unos y
será todo.

- Realizar un cuadro donde explique las diferencias y

similitudes de las máquinas reconocedoras y
Trasductoras
 Maquinas Maquinas
Reconocedoras Trasductoras
Semejanza Ambas son máquinas de Turing, por
lo cual están formado por una cinta
infinita dividas en celdas con un
cabezal de lectura capaz de moverse
sobre dicha cinta
Diferencia Capaz de Modifica el
reconocer y contenido de la
aceptar un cinta realizando
lenguaje L. cierta función

Procedimiento de
paso a paso del Utilizaremos la cadena aaabbbcccc
recorrido de una
cadena a a a b b b c c c c

- Paso 1: Estando en el estado q0, la cabeza de la MT

señala al símbolo de cinta a,
- Paso 2: Entonces la MT escribe el símbolo de cinta 1 en
la casilla actual (cambia a por 1) y mueve la cabeza una
casilla hacia la derecha. Se queda en el mismo estado
para leer el próximo símbolo
1 a a b b b c c c c

- Paso 3: Estando en q0, la cabeza de la MT señala el

símbolo de la cinta a,
- Paso 4: Entonces la MT escribe el símbolo de cinta 1 en
la casilla actual (cambia a por 1) y mueve la cabeza una
casilla hacia la derecha. Se queda en el mismo estado
para leer el próximo símbolo
1 1 a b b b c c c c

- Paso 5: Seguimos el mismo procedimiento hasta llegar

hasta el último símbolo de la cinta que es c. Hasta este
punto se ha llenado la cinta de 1s.
 1 1 1 1 1 1 1 1 1 1

- Paso 6: Para llegar al estado final q1 basta con ingresar

un espacio en la cinta
1 1 1 1 1 1 1 1 1 1 □

.
Practicar y A continuación se aprecia una serie de cadenas
verificar lo aceptadas y rechazadas por la maquina
aprendido

Se evidencia que la maquina acepta un sinfín de carateres

a, b y c, las únicas cadenas que no acepta son las vacias.

Preguntas a responder:
1. La máquina de Turing creada en el ejemplo es una maquina es:
A. Máquina transductora
B. Maquina reconocedora
C. Maquina calculadora
D. Máquina estabilizadora
2. En la máquina de Turing creada de ejemplo el símbolo que representa la cita es:2.
En la máquina de Turing creada de ejemplo el símbolo que representa la cita es:
A. 1
B. A
C. L
D. a

3. En la máquina de Turing creada de ejemplo la cadena que se ejecuta es:

A. aa
B. aab
C. baa
D. ab
4. En el ejercicio desarrollado es el video de Códigos Convolucionales Tellis y Viterbi la
cadena que se utiliza es:
A. 10100110
B. 10010110
C. 11010010
D. 01011001

ACTIVIDAD COLABORATIVA
Actividad 2:
Actividad Colaborativa
Teniendo en cuenta la siguiente tabla de transición de una máquina de Mealy, realice:

f Entrada
Estado 0 1
q0 q1 q0
q1 q3 q0
 G Entrada
Estado 0 1
q0 1 0

q2 q1 q2 q1 1 1

q3 q2 q1 q2 0 1
q3 0 0

1. Identifique los componentes de la Máquina (descríbala).

La máquina de Mealy es una estructura de la forma MMe = (Q, Ent, Sal, tran, res, s),
por tal motivo los componentes de nuestra maquinan se definen así:

𝑄 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 } Conjunto de estados

𝐸𝑛𝑡 = {1,0} (Alfabeto de entrada)
𝑆𝑎𝑙 = {1,0} (Alfabeto de salida)
𝑡𝑟𝑎𝑛 = 𝑄 × 𝐸𝑛𝑡 → 𝑄 (Función de transición)
𝑡𝑟𝑎𝑛 (𝑞0 , 0) = 𝑞1 𝑡𝑟𝑎𝑛 (𝑞1 , 1) = 𝑞0
𝑡𝑟𝑎𝑛 (𝑞0 , 1) = 𝑞0 𝑡𝑟𝑎𝑛 (𝑞2 , 0) = 𝑞1
𝑡𝑟𝑎𝑛 (𝑞1 , 0 ) = 𝑞3 𝑡𝑟𝑎𝑛 (𝑞2 , 1) = 𝑞2
𝑡𝑟𝑎𝑛 (𝑞3 , 0 ) = 𝑞2 𝑡𝑟𝑎𝑛 (𝑞3 , 1) = 𝑞1
𝑟𝑒𝑠 = 𝑄 × 𝐸𝑛𝑡 → 𝑆𝑎𝑙 (Función de respuesta o salida)
 𝑠𝑎𝑙(𝑞0 , 0) = 1
𝑠𝑎𝑙(𝑞0 , 1) = 0
𝑠𝑎𝑙(𝑞1 , 0) = 1
𝑠𝑎𝑙(𝑞1 , 1) = 1
𝑠𝑎𝑙(𝑞2 , 0) = 0
𝑠𝑎𝑙(𝑞2 , 1) = 1
𝑠𝑎𝑙(𝑞3 , 0) = 0
𝑠𝑎𝑙(𝑞3 , 1) = 0
𝑠 ∈ 𝑄 = 𝑞0 (Estado inicial)

2. Diséñela en diagrama (Máquina de Mealy).

3. Recorra la máquina con al menos una cadena válida explicando lo sucedido

tanto en la cinta como en la secuencia de entrada.

A continuación, se observa el recorrido paso a paso de la cadena 1001001011 en

donde se prueba que la maquina la aceptara como válida. En la siguiente imagen nos
encontramos con la maquina en estado inicial, eso quiere decir que no ha recibido el
primer carácter de la cadena.
 Paso 0

Al ingresar el primer símbolo del alfabeto en el estado q0 el cual es 1, la Maquina valida

la información y da un símbolo del alfabeto de salida que para este caso es 0, el cual se
ve reflejado en la cinta de transición y nos quedamos en el mismo estado q0, como lo
indica la transición.

Paso 1

Al ingresar nuestro símbolo 0, la maquina vuelve a validar la condición y en esta

ocasión nos trasladamos al estado q1 y nos genera una respuesta de salida con el
símbolo 1, el cual se ve reflejado en la cinta de transición.
 Paso 2

Seguimos ingresando más símbolos de nuestra cadena, ahora se ingresa nuevamente

otro 0 el cual nos permite pasar al estado q3 y con un símbolo de salida 1; el cual se
almacena en la cinta de validación.

Paso 3

Posteriormente se ingresa el símbolo 1 el cual es validado y nos desplazamos al estado

q1 como lo indica la transición y nos genera un símbolo de salida de 0.
 Paso 4

Se ingresa otro 0 de la cadena a validar lo cual permite retornar al estado q3 tal cual
como lo indica el proceso de transición de nuestro diagrama, retornando un valor de
salida de 1 el cual se observa en la cinta.

Paso 5

Luego se ingresa un nuevo símbolo a la máquina, el cual es 0, aquí se pasa del estado
q3 al estado q2 según el proceso de transición; así mismo, se genera un símbolo de
salida de 0.
 Paso 6

Estando en el estado q2 la maquina detecta un nuevo símbolo de entrada el cual es 1,

por lo tanto, al ser validado y siguiendo las reglas de nuestras transiciones nos
quedamos nuevamente en el mismo estado actual, pero con el símbolo de entrada se
genera un símbolo de salida que es 1.

Paso 7

Para pasar del estado q2 al estado q1 como lo indica la transición, la maquina recibe
como símbolo de entrada el 0 y este a su vez generaría un símbolo de salida de 0.
 Paso 8

Al ingresar el símbolo 1 de nuestro alfabeto de entrada, la maquina se desplaza al

estado q0, generando un símbolo de salida de 1; el cual cómo podemos evidenciar se
almacena en la cinta y de esta manera se nos está generando otra cadena y esto se
debe a que por cada símbolo de entrada él nos da un símbolo de salida diferente o
igual al de entrada.

Paso 9

Por último, cuando la máquina de Mealy detecta que ha ingresado el ultimo 1 de la

cadena a validar, esta genera un carácter de salida el cual es 0 y al no existir más
caracteres la cadena se valida y es aceptada; quedando en la cinta la siguiente cadena
de salida 0110101010.
Paso 10
 REFERENCIAS BIBLIOGRAFICAS

 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/