Taller 2: Autómatas finitos

Autómatas y Lenguajes Formales

Profesor: Fabio Martı́nez
Escuela de Ingenierı́a de Sistemas e Informática
20 de mayo de 2017

Instrucciones:
Envı́e el desarrollo del taller en medio digital al correo famarcar@saber.uis.edu.co antes
del 28/05/2017 11:59 p.m. Si su solución involucra más de un archivo, genere un ZIP.
No olvide realizar las simulaciones con JFLAP.
El nombre que debe llevar el PDF y/o el ZIP debe seguir el formato: Apellido1 Nombre1.pdf
y/o Apellido1 Nombre1.zip 1 .
No olvide colocar en el asunto del mensaje de correo: “Taller#XX Titulo del taller ”,
por ejemplo: Taller#2
Complete a continuación los datos solicitados acerca de los integrantes del grupo:

Estudiante Código Grupo Aporte ( %)

1. 1erApellido 2oApellido 1erNombre 2264520 A2 10 %
2.
3.

1. AFN ε
Para el AFN-E de la tabla 1 :

1. Construya el diagrama del AFN-E correspondiente.

2. Calcule la clausura respecto de E de cada uno de los estados.
3. Convierta el autómata en un AFD, proporcionando tanto la tabla
como el diagrama de transiciones.

E a b c
→p ∅ {p} {q} {r}
q {p} {q} {r} ∅
∗r {q} {r} ∅ {p}

Tabla 1: Tabla de transiciones del AFN-E 1

1 Apellido1 y Nombre1 hacen referencia al 1er apellido y al 1er nombre del lı́der del grupo.

1
 Realice el diagrama de transiciones del AFN de la Figura 1, eliminando
las transiciones E . Convierta el AFN-E en un AFD equivalente (con la
respectiva tabla y el diagrama de transiciones).
a a a

b,ε b,ε c
q0 q1 q2 q3
b

Figura 1: AFN con trasiciones-E del punto 2

2. Expresiones Regulares
Para el AFD del Cuadro 2:

0 1
→ q1 q2 q1
q2 q3 q1
∗q3 q3 q2

Tabla 2: Tabla de transiciones del AFD 1.

(0) (1) (2)
• Obtenga todas las expresiones regulares Rij , Rij , Rij . Intente sim-
plificar las expresiones lo máximo posible.
• Obtenga una expresión regular para el lenguaje del autómata.

A partir de la tabla de transiciones presentada en el Cuadro 3, convierta

el AFD en una expresión regular utilizando el método de eliminación de
estados.

0 1
→ ∗p s p
q p s
r r q
s q r

Tabla 3: Tabla de transiciones del AFD 3.

3. Gramaticas Libres de Contexto

Diseñar gramáticas independientes del contexto para los lenguajes enun-
ciados a continuación. Para un palabra del lenguaje realice la derivación
mas a derecha, mas a izquierda y el arbol de derivación.

• L = {ai bj cj | i 6= j o j 6= k}.
• 0∗ 1(0 + 1)∗
• L = {an bm an | m, n ∈ N}

2
4. Autómatas a Pila
Diseñe un autómata de pila que acepte cada uno de los siguientes len-
guajes. Tenga en cuenta que éste puede aceptar por estado final o por
pila vacı́a. Para un palabra del lenguaje realice la descripción automatica
recursiva.

• L = {an bm an | m, n ∈ N}
• L = {ai bj | 0 ≤ j ≤ i}
• L = {an bm | n ≤ m ≤ 2n}