FASE 4 MODELAR PROBLEMAS DE LENGUAJES FORMALES

TRABAJO COLABORATIVO

MILTON ARCENIO COGOLLO LIZARAZO

CODIGO 4104176
GRUPO: 301405A_612

MARCO ALEXIS PALTA

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA TECNOLOGÍA DE CIENCIAS BÁSICAS E INGENIERÍA
AUTOMATAS Y LENGUAJES FORMALES
JULIO 3, 2019
 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
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO Registre aquí el Ejercicio a trabajar. Por favor agregue la

A imagen;
TRABAJAR

Caracteriz En este espacio se realiza:

ación de la - Mediante la definición formal explicar las características
máquina de la máquina de Turing.
de Turing Una máquina de Turing con una sola cinta puede definirse
como una 7-tupla

𝑀 = (𝑄, ∑, 𝛤, 𝑠, 𝑏, 𝐹, 𝛿 ),
donde:
 𝑸 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 (∑ ⊆𝜞).
 𝒔 ∈ 𝑸 es el estado inicial.
 𝒃 ∈ 𝜞 es un símbolo denominado blanco, y es el único
símbolo que se puede repetir un número infinito de
veces.
 𝑭 ⊆ 𝑸 es el conjunto de estados finales de aceptación.
 𝜹: 𝑸𝒙𝜞 → 𝑸𝒙𝜞𝒙{𝑳, 𝑹} es una función parcial denominada
función de transición, donde 𝑳 es un movimiento a la
izquierda y 𝑹 es el movimiento a la derecha.
 - Realizar un cuadro donde explique las diferencias y
similitudes de las máquinas reconocedoras y
Transductoras.
RECONOCEDORAS TRANSDUCTORAS
Decidir si la cadena es Transformar la entrada
válida o no, según algún
criterio

Si la palabra no pertenece Debe acabar en estado

al lenguaje no se exige a la no final para indicar el
MT que se pare error en la entrada

Dos conceptos: Realiza un cálculo:

RECONOCER, ACEPTAR - Si la entrada está
- Una Máquina de bien formada, debe
Turing RECONOCE un terminar en un estado
lenguaje L, si para final.
cualquier entrada en la
cinta, w, se acaba parando,
y lo hace en un estado final
si y sólo si𝑤 ∈ 𝐿.

- Una Máquina de - Si la entrada NO está

Turing ACEPTA un lenguaje bien formada, debe
L si, al analizar una palabra terminar en un estado
w, se para en un estado no final.
final si y sólo si 𝑤 ∈ 𝐿

Procedimie GRAFICO INICIAL:

nto de
paso a CADENA: 1010001010
paso del
recorrido CINTA
CABEZAL DE LECTURA
de una
cadena □ □ 1 0 1 0 0 0 1 0 1 0 □ □

MOV. IZQUIERDA MOV. DERECHA

PASO 1:
Estando en el estado 𝑄0 , la cabeza de la MT señala el
número 1 en la cinta.

□ □ 1 0 1 0 0 0 1 0 1 0 □ □

PASO 2
La MT avanza una casilla hacia la derecha, marca el 0 en la
cinta y se queda en Qo:

□ □ 1 0 1 0 0 0 1 0 1 0 □ □
PASO 3: La MT avanza un estado a la derecha, marca 1 en
la cinta y que queda aún en Qo:

□ □ 1 0 1 0 0 0 1 0 1 0 □ □

PASO 4: Hay un espacio en blanco el cabezal avanza una

casilla, marca un 0 en la cinta y queda en Qo

□ □ 1 0 1 0 0 0 1 0 1 0 □ □
PASO 5: Hay un espacio en blanco el cabezal avanza una
casilla, marca un 0 en la cinta y queda en Qo

□ □ 1 0 1 0 0 0 1 0 1 0 □ □

PASO 6: La MT acepta un 0, el cabezal avanza una casilla,

marca un 0 en la cinta y queda en Qo

□ □ 1 0 1 0 0 0 1 0 1 0 □ □
PASO 7:
La MT acepta un 0, el cabezal avanza una casilla, marca un
1 en la cinta y queda en Qo

PASO 8: La MT acepta un 0, el cabezal avanza una casilla,

marca un 0 en la cinta y queda en Qo

□ □ 1 0 1 0 0 0 1 0 1 0 □ □
PASO 9: La MT acepta un 0, el cabezal avanza una casilla,
marca un 1 en la cinta y queda en Qo

□ □ 1 0 1 0 0 0 1 0 1 0 □ □

PASOP 10: La MT acepta un 0, el cabezal avanza una casilla,

marca un 1 en la cinta y queda en Qo

PASO 11: La MT acepta un 0, el cabezal avanza una casilla,

marca un 1 en la cinta y queda en Qo
PASO 12:La MT avanza una casilla y avanza al estado Q1,
marcando un 0 en la cinta:

□ □ 1 0 1 0 0 0 1 0 1 0 □ □

PASO 13: Cadena no aceptada. Significa que esta MT no

acepta ceros cuando al llegar al estado q1.
Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y validar
verificar lo por lo menos cinco cadenas válidas y 5 cadenas rechazadas
aprendido por la máquina. En este espacio adjunta la imagen.

Cadena 1001 NO ACEPTADA

CADENA 2: 0100. No aceptada:

CADENA 3: 100000 No Aceptada.

CADENA 4: 11111…. ACEPTADA:

CADENA 5 11111111

Con esto se logra entender que esta MT no acepta 0

luego de salir de Q0.