Universidad Nacional Abierta y a Distancia UNAD

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

Unidad 3: Fase 4 - Debatir y desarrollar los ejercicios planteados sobre Máquinas de

Turing.

Presentado por:

Jorge Luis Medina

Código: 1103112237

Grupo. 301405_48

Tutor
Edgar Antonio Cortes

Noviembre 2018
 EJERCICIOS DE LA FASE 4
ACTIVIDAD INDIVIDUAL

De acuerdo con el último dígito de su cédula o tarjeta de identidad, identifique el

ejercicio asignado en la siguiente tabla:

Último dígito Ejercicio

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

ACTIVIDAD 1: Maquinas de Turing

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 3:

Caracterización La máquina de Turing es el primer modelo teórico de lo que luego

de la máquina sería un computador programable.
de Turing:
Con el tiempo a este tipo de máquina se la conoció como máquina
de estado finito, debido a que, en cada etapa de un cálculo, la
siguiente acción de la máquina se contrastaba con una lista finita
de instrucciones de estado posibles.
Esta es definida formalmente como una Séxtupla de la forma
M= (K, Σ, Γ, s, b, F, δ)

donde :

K: Es un conjunto finito de estados.

Σ: Es un conjunto finito de símbolos distinto del espacio en

blanco, denominado alfabeto de máquina o de entrada.

Γ: Es un conjunto finito de símbolos de cinta, denominado

alfabeto de cinta (Σ ⊆ Γ ).

b ∈ Γ: Es un símbolo denominado blanco, y es el único símbolo

que se puede repetir un número infinito de veces.

s ∈ K: El estado inicial del autómata

F ⊆ K: Es el subconjunto de estados finales

δ = (K * Γ) -> (K * Γ * L, R )

Para el ejercicio 3 de la imagen 1, la definición formal sería la

siguiente:
 M= (K, Σ, Γ, s, b, F, δ)

donde:

K: {qo, q1} es el conjunto de estados.

Σ: {a, b ,c} alfabeto de la máquina.

b:□ ∈ Γ es un símbolo denominado blanco, y es el único símbolo

que se puede repetir un número infinito de veces.

Γ: {1, □} alfabeto de cinta.

s: qo ∈ K el estado inicial del autómata.

F: q1 ⊆ K es el subconjunto de estados finales.

δ = (K * Γ) -> (K * Γ * L, R )

Tabla de Transiciones
δ(q0,a) (q0,1,R)
δ(q0,b) (q0,1,R)
δ(q0,c) (q0,1,R)
δ(q0,□) (q0,□,S)

- Realizar un cuadro donde explique las diferencias y

similitudes de las máquinas reconocedoras y Trasductoras

Máquinas Reconocedoras Máquinas Trasductoras

MT es capaz de reconocer un Modifica el contenido de la cinta
lenguaje L. realizando cierta función.

MT capaz de aceptar un lenguaje L.

Son las más utilizadas y se llaman así Convierten en una secuencia de
porque se caracterizan en resolver un símbolos de entrada en una
problema reconociendo el lenguaje secuencia de símbolos de salida
que representa ese problema o sea el La salida se produce
lenguaje de las cadenas de símbolos. modificando el contenido de la
cinta.

Si con una entrada w la MT M (Máquina Por lo tanto el resultado será un

de Turing M) se detiene en un estado conjunto de símbolos
final q∈F, se dice que M acepta a w, pertenecientes al lenguaje de la
pero si se detiene en otro estado que cinta Γ.
no es final q∈(Q-F) o se presenta el
caso de que nunca se detenga, se dice
que M no acepta (o rechaza a w).

Las MT reconocedoras sólo nos dicen si

w pertenece o no al lenguaje. Estas máquinas son una
variación de las aceptadoras.
 El conjunto de palabras w aceptadas
por la MT es el lenguaje reconocido por
M y se indica como L(M).
Son aquellas en donde la salida es
binaria (sí/no), depende únicamente
del estado y existe un estado inicial.
Puede decirse, entonces, que cuando
la máquina produce una salida
"positiva" (es decir, un "si"), es porque
ha "reconocido" o "aceptado" la
secuencia de entrada.
En las máquinas de estados
Reconocedoras, los estados con salida
"positiva" se denominan estados
finales.
Dos MT actúan como Reconocedoras si
Ambas deben Aceptar y/o Reconocer
las mismas palabras.
• Recorrido de la cadena válida de 10 caracteres abcabcabca:
Paso 1: Inicialmente la MT se encuentra en el estado q0 y la
cabeza de lectura señala al primer carácter de la cadena, a.
Procedimiento
de paso a paso
del recorrido de
una cadena:
Existe una función llamada
Función de Salida que puede
tomar como parámetro el estado
actual o la transición de la MT y
produce un elemento del
conjunto de símbolos de salida.
Si la entrada w está bien
formada, el proceso terminará
en un estado final, si no,
terminará en un estado no final
Son las más generales, que
convierten una secuencia de
señales de entrada en una
secuencia de salida, pudiendo
ésta ser binaria o más compleja,
dependiendo de la entrada
actual (no sólo del estado) y
pudiendo también prescindirse
de un estado inicial.
Dos MT actúan como
Transductores si para cada
entrada posible, los contenidos
de la cinta al final del proceso
deben ser iguales.
Paso 2: La MT ha desplazado la cabeza de lectura hacia la derecha,
ha reemplazado el carácter a por 1, sigue estando en el estado q0
y señala al segundo carácter de la cadena, b.

Paso 3: La MT ha desplazado la cabeza de lectura hacia la derecha,

ha reemplazado el carácter b por 1, sigue estando en el estado q0
y señala al tercer carácter de la cadena, c.

Paso 4: La MT ha desplazado la cabeza de lectura hacia la derecha,

ha reemplazado el carácter c por 1, sigue estando en el estado q0
y señala al cuarto carácter de la cadena, a.
Paso 5: La MT ha desplazado la cabeza de lectura hacia la derecha,
ha reemplazado el carácter a por 1, sigue estando en el estado q0
y señala al quinto carácter de la cadena, b.

Paso 6: La MT ha desplazado la cabeza de lectura hacia la derecha,

ha reemplazado el carácter b por 1, sigue estando en el estado q0
y señala al sexto carácter de la cadena, c.

Paso 7: La MT ha desplazado la cabeza de lectura hacia la derecha,

ha reemplazado el carácter c por 1, sigue estando en el estado q0
y señala al séptimo carácter de la cadena, a.
Paso 8: La MT ha desplazado la cabeza de lectura hacia la derecha,
ha reemplazado el carácter a por 1, sigue estando en el estado q0
y señala al octavo carácter de la cadena, b.

Paso 9: La MT ha desplazado la cabeza de lectura hacia la derecha,

ha reemplazado el carácter b por 1, sigue estando en el estado q0
y señala al noveno carácter de la cadena, c.

Paso 10: La MT ha desplazado la cabeza de lectura hacia la

derecha, ha reemplazado el carácter c por 1, sigue estando en el
estado q0 y señala al décimo carácter de la cadena, a.
 Paso 11: La MT ha desplazado la cabeza de lectura hacia la
derecha, ha reemplazado el carácter a por 1, ahora se encuentra
en el estado de aceptación final q1 y señala a un carácter blanco.

• Realizar un cuadro donde explique las diferencias y similitudes

de las Máquinas Reconocedoras y Trasductoras.
Practicar y • Validar en JFlap 5 cadenas válidas y 5 cadenas rechazadas.
verificar lo
aprendido:
 Bibliografía

- 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&A
N=318032&lang=es&site=eds-live&ebv=EB&ppid=pp_Cover

- Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales.

(pp.
1 -124). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10
566114&ppg=10

- Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). Teoría de autómatas y

lenguajes formales. (pp. 7-797). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10
498456&ppg=6

- Rosenfeld, D. (2016). Computabilidad, Complejidad computacional y

verificación de programas. (pp. 7 - 27). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11
201616&ppg=12