Universidad Nacional Abierta y a Distancia

Vicerrectoría Académica y de Investigación

Autómatas y Lenguajes Formales

Fase 2: Conocer formalismos usados para definir lenguajes

formales.

Tutor

Jheimer Julián Sepúlveda López

Estudiante grupo 301405_38

Wilfran Rafael Martinez Arroyo

1.067.717.655

Agustín Codazzi Cesar

CEAD Valledupar

Marzo de 2019
 EJERCICIOS DE LA FASE 1
ACTIVIDAD INDIVIDUAL

ACTIVIDAD 1: Conversión de un Autómata Finito a Expresión Regular

El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A Ejercicio 5
TRABAJAR

Caracterización
del autómata El presente autómata es Finito Determinista
Explicar las características del tipo de autómata:
Se determina que es AFD debido a que desde el
estado q0 sale c para el mismo estado q0 y para el
estado q1 sale a asi mismo para el estado 2 sale b.

Procedimiento
de conversión Realice de manera detallada el procedimiento paso
de Autómata a paso de la conversión del autómata a expresión
Finito a regular y según ejemplo revisado.
Expresión
Regular paso a - Paso 1…
paso
 - Paso 2…
Eliminamos el estado 1

- Paso 2…
Eliminamos finalmente el estado inicial q0

Autómata Final
convertido
𝑐 ∗ (𝑎𝑏 + 𝑏)

Lenguaje Conjunto de cadenas que inician en a o c`s o

regular también en b para solo termina en el estado 2,
pero para la cadenas que inician en a al pasar por
el estado 1 termina en b
ACTIVIDAD 2: Conversión de Autómatas Finitos Deterministas a Autómatas
Finitos No deterministas (AFD a AFND) y viceversa
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

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

A TRABAJAR

Caracterizac
ión del El presente autómata es Finito No Determinista
autómata Explicar las características del tipo de autómata:
Se determina que es AFND debido a que desde el estado q0 sale 0
para el mismo estado q0 y para el estado q2 sale así mismo 0

Procedimien Realice de manera detallada el procedimiento paso a paso de la

to de conversión del autómata según corresponda y según ejemplo revisado.
conversión - Paso 1…
paso a paso 1 0
A= {0} U {3} B= {1} U {--} A= {0} U {3}
- Paso 2…

1 0
B= {1} U {--} A= {0} U {3} C= {3} U {--}

- Paso 3…

1 0
C= {3} U {--} A= {0} U {3} D= {2} U {--}

- Paso 4…

1 0
D= {2} U {--} C= {3} U {--} A= {0} U {3}

Tabla de transición

1 0
A= {0} U {3} B= {1} U {--} A= {0} U {3}
B= {1} U {--} A= {0} U {3} C= {3} U {--}
C= {3} U {--} A= {0} U {3} D= {2} U {--}
D= {2} U {--} C= {3} U {--} A= {0} U {3}

Eliminamos los valores y dejamos los conjuntos

1 0
A B A
B A C
C A D
D C A

1 0
-A B A
B A C
#C A D
D C A
Autómata En este espacio se presenta el autómata final
Final
convertido

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar los dos autómatas,

verificar lo el original y el autómata resultado final de la conversión y validar por
aprendido lo menos tres cadenas válidas y tres cadenas rechazadas.

Simulador JFlap

Autómata Original.
autómata resultado final
 Referencias Bibliográficas

Carrasco, R. C. (2016). Teoría de lenguajes, gramáticas y autómatas para informáticos. En R. C. Carrasco, Teoría de
lenguajes, gramáticas y autómatas para informáticos (págs. 127 - 142).

formales, T. d. (2007-01-01). Teoría de autómatas y lenguajes formales. En T. d. formales, Teoría de autómatas y

lenguajes formales (págs. 71 - 115). McGraw-Hill España.

Gregori, J. F. (2012-01-01). Matemática discreta (2a. Ed.). En J. F. Gregori, Matemática discreta (2a. Ed.) (págs. 207-
232). Editorial Reverté.

Millán, J. A. (2009-01-01). Compiladores y procesadores de lenguajes. En J. A. Millán, Compiladores y procesadores de

lenguajes (págs. 28-62). Servicio de Publicaciones de la Universidad de Cádiz.

Rodríguez, L. A. (2010-01-01). Practique la teoría de autómatas y lenguajes formales. En L. A. Rodríguez, Practique la

teoría de autómatas y lenguajes formales (págs. 1 -124). Ediciones elizcom.