AUTOMATAS Y LENGUAJES FORMALES

FASE 4

Henry David agreda

Código 6108924

GRUPO
301405_10

TUTOR:
Rolando Fabian Junco

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

CEAD PALMIRA
Junio2019
 EJERCICIOS DE LA FASE 4
ACTIVIDAD INDIVIDUAL

De acuerdo al ú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
 EJERCICIOS DE LA FASE 4
ACTIVIDAD INDIVIDUAL

EJERCICIO A
TRABAJAR

Caracterizaci En este espacio se realiza:

ón de la - Mediante la definición formal explicar las
máquina de características de la máquina de Turing.
turing
Definición Formal
 
Formalmente, una máquina de Turing se define
mediante una septupla:

M= (Σ, Q ,Γ, s, b, f, δ) 

donde :
Σ: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 (Σ, ⊆Γ )
Q: es un conjunto finito de estados
b ∈ Γ: es un símbolo denominado blanco, y es el
único símbolo que se puede repetir un número
infinito de vece
s ∈ Q: el estado inicial del autómata
F ⊆ Q: es el subconjunto de estados finales 
δ = (Q * Γ) -> (Q *  Γ * L, R ) denominada función
de transición, donde L es un movimiento a la
izquierda y R es el movimiento a la derecha.

Σ:{0, 1}
Γ: {0, 1}
Q: {q0, q1, q2, q4}
b ∈ Γ: 
s ∈ Q: {q0}
F ⊆ Q: {q4}
 δ = (Q * Γ) -> (Q *  Γ * L, R )

- Realizar un cuadro donde explique las diferencias

y similitudes de las máquinas reconocedoras y
Transductores

DIFERENCIAS
Maquinas Maquinas
Reconocedoras Transductores
Resuelven problemas Construyen una
con respuesta si/no, respuesta especifica
que se modeliza (una salida) para el
normalmente como la problema planteado.
identificación de dos
estados finales, uno
de aceptación y el
otro de rechazo

Nos indican si un Nos entregan como

conjunto de símbolos resultado un conjunto
pertenece o no al de símbolos que
lenguaje pertenecen al
lenguaje

Similitudes
Ambos tipos de maquinas siguen siendo Autómatas,
los transductores son una variación de las
Aceptadoras

Procedimient Realice de manera detallada y grafica el

o de paso a procedimiento paso a paso del recorrido de una
paso del cadena (La cadena la selecciona el estudiante, debe
recorrido de contener como mínimo 10 caracteres) en la máquina
una cadena de turing. Describir cómo funciona el
almacenamiento mediante el uso de las cintas, etc.
- Paso 1: Representa el comportamiento de una
máquina de turing

S R W M N
q0 0 0 R q0
q0 1 1 R q0
q0 L q1
q1 1 0 L q2
q2 1 1 L q2
q2 1 S q3

S = Estado actual
R = Carácter leído
W = Carácter escrito
M = Dirección del movimiento
N = Nuevo estado

- Paso 2: la cadena a utilizar es: 0110010111

- Paso 3: Estando en el estado q0, lee el valor 0 y

escribe el valor 0 y se desplaza a la derecha.
δ(q0,0)=(q0,0,R)
- Paso 4: Estando en el estado q0, lee el valor 1 y
escribe el valor 1 y se desplaza a la derecha.
δ(q0,1)=(q0,1,R)

- Paso 5: Estando en el estado q0, lee el valor 1 y

escribe el valor 1 y se desplaza a la derecha.
 δ(q0,1)=(q0,1,R)

- Paso 6: Estando en el estado q0, lee el valor 0 y

escribe el valor 0 y se desplaza a la derecha.
δ(q0,0)=(q0,0,R)

- Paso 7: Estando en el estado q0, lee el valor 0 y

escribe el valor 0 y se desplaza a la derecha.
 δ(q0,0)=(q0,0,R)

- Paso 8: Estando en el estado q0, lee el valor 1 y

escribe el valor 1 y se desplaza a la derecha.
δ(q0,1)=(q0,1,R)

- Paso 9: Estando en el estado q0, lee el valor 0 y

escribe el valor 0 y se desplaza a la derecha.
δ(q0,0)=(q0,0,R)
- Paso 10: Estando en el estado q0, lee el valor 1 y
escribe el valor 1 y se desplaza a la derecha.
δ(q0,1)=(q0,1,R)

- Paso 11: Estando en el estado q0, lee el valor 1 y

escribe el valor 1 y se desplaza a la derecha.
 δ(q0,1)=(q0,1,R)

- Paso 12: Estando en el estado q0, lee el valor 1 y

escribe el valor 1 y se desplaza a la derecha.
δ(q0,1)=(q0,1,R)
- Paso 13: Estando en el estado q0, lee el valor
Vacío
y escribe el valor vacío y se desplaza a la
izquierda quedando en el estado q1.
δ(q0, )=(q1, ,L)
Paso 14: Estando en el estado q1, lee el valor 1 y
escribe el valor 0 y se desplaza a la izquierda
pasando al estado q2.
δ(q1,1)=(q2,0,L)

Paso 15: Estando en el estado q2, lee el valor 1 y

escribe el valor 0 y se desplaza a la izquierda
δ(q2,1)=(q2,0,L)
Paso 16: Estando en el estado q2, lee el valor 1 y
escribe el valor 0 y se desplaza a la izquierda
δ(q2,1)=(q2,0,L)

Paso 17: Estando en el estado q2, lee el valor 0 y

escribe el valor 1 y se desplaza a la izquierda pasan
al estado q3 y el cabezal permanece en esa posición.
δ(q2,0)=(q3,1,S)
Practicar y
verificar lo
aprendido
PREGUNTAS DE CONTEXTUALIZACION
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
 Referencias Bibliográficas

González, A. [Ángela]. (2018, junio 1). Lenguajes Estructurados por Frases. [Archivo
web]. Recuperado de http://hdl.handle.net/10596/18316

ZatorSystems. Computación:  Máquina de Turing. Consultado el 2 de Noviembre de

2018. Recuperado de: http://www.zator.com/Cpp/E0_1_1.htm

Una simple Maquina de Turing. Tomas de Camino. Publicado el 13 ago. 2017.

Recuperado de: https://www.youtube.com/watch?v=bWdvrlY8Rd8

Departamento de Lógica – Facultad de Psicología UCM. Autómatas y computabilidad.

Consultado el 3 de noviembre 2018. Recuperado de:
https://webs.ucm.es/info/pslogica/automatas.pdf

Máquinas de Estados Finitos. Jorge Gutiérrez, 15 de septiembre de 2008. Recuperado

de:
http://delta.cs.cinvestav.mx/~mcintosh/cellularautomata/Summer_Research_files/ma
quinasef.pdf