UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

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

Curso Académico de Autómatas y Lenguajes Formales

Fase 6: Debatir: Generar, determinar e implementar soluciones a los

ejercicios planteados

PRESENTADO POR:

Yuly Andrea Beltran

1012443306

GRUPO: 301405_471_57

PRESENTADO A:

TUTOR CESAR ORLANDO JIMENEZ ANGARITA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA ECBTI
BOGOTÁ D.C. 27 de 05 de 2018
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales
Actividades Colaborativas:

El trabajo se desarrolla demostrando el procedimiento realizado paso a paso, no se

tendrá en cuenta las respuestas o simulaciones en jFlap o VAS.

Ejercicio 1:
De cada uno de los siguientes autómatas, realizar el procedimiento paso a
paso de hallar la expresión regular, el lenguaje regular y explicar el tipo de
autómata que es:

1. 2.

3.
Solución
Autómata 1

1. Hallar la expresión regular.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales
2. El lenguaje regular.

3.explicar el tipo de autómata

que es:

Autómata 2

1. Hallar la expresión regular.

2. El lenguaje regular.

3.explicar el tipo de autómata

que es:

Autómata 3

1. Hallar la expresión regular.

2. El lenguaje regular.

3.explicar el tipo de autómata

que es:

Teniendo en cuenta el siguiente autómata realizar los puntos

siguientes:
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales

Ejercicio 2: Realizar la conversión de AFD a AFND o de AFND a AFD según

corresponda

Solución
El autómata presentado es AFND por
lo cual se convertirá en AFD , esto se
determina debido a que se caracteriza
por que la transición desde un estado
puede tener múltiples destinos (como
sucede de q0 a q1 y q5 en el grafico)

Definición:
Estados: {q0,q1,q2,q3,q4,q5}
Transiciones: {0,1}
Alfabeto: {0,1}
Estado Inicial: {q0}
Estado Final: {q1}

Paso 1 Tabla de Transición

Alfabeto
0 1
Estados
q0 q5 q1
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales
Paso 2 Tabla de Transición
Alfabeto
0 1
Estados
q0 q5 q1
q1 q1, ----
q5

Tabla de Transición
Paso 3 Alfabeto
0 1
Estados
q0 q5 q1
q1 q1, ----
q5
q2 q1 q4

paso 4 Tabla de Transición

Alfabeto
0 1
Estados
q0 q5 q1
q1 q1, ----
q5
q2 q1 q4
q3 q4 q2

Paso 5 Tabla de Transición

Alfabeto
0 1
Estados
q0 q5 q1
q1 q1,q ----
5
q2 q1 q4
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales
q3 q4 q2
q4 q3 q2

Tabla de Transición
Alfabeto
paso 6 0 1
Estados
q0 q5 q1
q1 q1,q ----
5
q2 q1 q4
q3 q4 q2
q4 q3 q2
q5 q4,q ---
2

Ejercicio 3: Realice la minimización paso a paso del autómata finito

determinista

Solución

Minimización paso a paso del

autómata finito determinista

Ejercicio 4: Realizar el autómata a Pila de L = {(a+bn)*}

Solución

Autómata a Pila de L =
{(a+bn)*}

Ejercicio 5: Realizar una máquina de turing de autoría propia y realice:

a. Recorra la máquina con al menos una cadena válida explicando lo
sucedido tanto en la cinta como en la secuencia de entrada.
b. Identifique una cadena que no sea válida y justifíquela porque
c. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco
símbolos
d. Identifique en qué momento la máquina se detiene.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales
Solución

La anterior es una MT que convierte

caracteres del lenguaje con alfabeto Σ= Máquina de turing de autoría
{1, 2,3}. Es decir, se deben devolver
propia
tantas a’s como caracteres en la palabra
de entrada.

MT=(𝛤,𝛴, b, Q, q0, f, F )
𝛤={a,□} 𝛴 ={1,2,3} Q={q0,q1}
b={□} q0={q0} F={q1}
entonces MT=({a,□} , {1,2,3}, {q0,q1}, {□},
{q0},f, {q1})
Esta MT reconoce lo siguiente: si la palabra de
entrada es"1231" entonces devolverá "aaaa”
Al ingresar “1231” la maquina inicia,
revisando carácter por carácter en el estado a. Recorra la máquina con
inicial q0, iniciando por el primero hasta el
al menos una cadena
último de la palabra de entrada y si cumple la
condición va convirtiendo en “a” hasta que válida explicando lo
encuentre un espacio vacío (□) y allí termina sucedido tanto en la
de validar en el estado final q1 deteniéndose cinta como en la
dicha maquina, tal cual se puede evidenciar secuencia de entrada.
en el traceback de la MT:
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales

Una cadena no valida identificada es: "3020"

Ingresa el primer carácter "3" en el estado q0
y moviéndose a la derecha, lo reconoce y lo
convierte a una "a" como está estipulada la
maquina, luego hacia la derecha en el mismo
estado q0 ingresa el segundo carácter de la
cadena "0" reconoce y evalúa que la MT no
cuenta con esta función de transición por lo
que no puede continuar la analiza y se detiene
sin llegar a un estado final q1 o lo que es igual
decir no aceptada
b. Identifique una cadena
Justificación: Esta cadena es no valida que no sea válida y
debido a que la función de transición es que justifíquela porque
únicamente ingrese el alfabeto
predeterminado es decir los caracteres "1,2,3"
en cualquier orden

A continuación se evidencia el traceback de la

cadena no valida en la MT:
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales

Se ejecuta RunTest con la cadena "12332"

c. Ejecute el RunTest a una

cadena aceptada que
tenga al menos cinco
símbolos
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales
La maquina se detiene en el momento en que
d. Identifique en qué
se encuentra un espacio vacío (□) según la
función de transición establecida y finalmente momento la máquina se
ha sido aceptada la cadena valida en el estado detiene.
final q1, es decir en el estado de aceptación.

REFERENCIAS BIBLIOGRAFÍA