Automatas y Lenguaje Formales, Ejercicios

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

AUTOMATAS Y LENGUAJES FORMALES
2017

TRABAJO COLABORATIVO FASE 2
DEBATIR Y DESARROLLAR LOS EJERCICIOS PLANTEADOS SOBRE

AUTMATAS CON PILA Y GRAMTICAS
PRESENTADO POR:
CARLOS ORLANDO ROJAS

FRANKLIN JOAN PUENTES
JUAN CAMILO ALFONSO
DANIEL MEJA LIZARAZO
GRUPO:
301405_62
TUTOR
CESAR JIMNEZ
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ABRIL DE 2017
2017
INTRODUCCIN
El presente trabajo colaborativo contiene material acadmico correspondiente al

curso Autmatas y Lenguajes Formales en donde se incluye el desarrollo de la
Gua de Actividades correspondiente a la Unidad No 2 Fase No 2 como un
proceso intermedio del contenido que abarca la Teora de Autmatas y lenguajes
Formales, recorriendo las temticas, de una manera simple objetiva y efectiva,
dado el alto contenido analtico, matemtico y de comprensin que tiene las
temticas a las que hace referencia el presente documento.
Se pretende identificar y comprender los conceptos y definiciones fundamentales

para el estudio de lenguajes Independientes del contexto, autmata a pila,
autmata a pila por vaciado, autmata a pila por estados finales, definicin de
gramtica con sus caractersticas y tipos de gramticas.
Para el cumplimiento de estos objetivos propuestos se realiza una investigacin

terica individual la cual fue compartida en el foro de trabajo colaborativo, cuya
evidencia es una presentacin de los temas propuestos, posteriormente se realiza
el desarrollo de dos ejercicios donde se aplican los temas de la unidad dos, el
primero corresponde a la minimizacin e identificacin de un autmata y el
segundo a la construccin y simulacin de un autmata con pila, estos ejercicios
son los evidenciados en su desarrollo a continuacin.
2017
Ejercicio 1
Teniendo en cuenta el siguiente autmata realizar el proceso de minimizacin. Se debe

realizar el procedimiento paso a paso.
1. Realice la descripcin (notacin) (caracterizacin) matemtica del autmata. (Antes de

minimizar)
De acuerdo a la definicin formal tenemos
A={{ q 0, q1, q 2, q3, q 4, q5 , q6 , q 7 } , {1,2 } , , q 0 , { q 7 ,q 4 } }
Donde, estados del autmata:

K= { q0, q 1, q2, q 3, q4, q 5 ,q 6 , q7 }
El Lenguaje reconocido por el autmata:
={ 1,2 }
Estado inicial:
s=q0
Estados finales o de aceptacin:

F=q 4 , q7
Transiciones del autmata:

2017
:(q0, 1)=q 1
:(q0, 2)=q 2
:(q1, 1)=q 5
:(q1, 2)=q 3
:(q2, 1)=q 6
:(q2, 2)=q 4
:(q3, 1)=q 7
:(q3, 2)=q 1
:(q 4, 1)=q1
:(q 4, 2)=q5
:(q5, 1)=q 3
:(q5, 2)=q 7
:(q6, 1)=q 4
:(q6, 2)=q 1
:(q7, 1)=q 1
:(q7, 2)=q 2
2. Plasme la tabla de transicin del autmata. (No es la que generas VAS). (Antes de
minimizar)
Tabla de transiciones
Estado Entradas
s 1 2
q0 q1 q2
q1 q5 q3
q2 q6 q4
q3 q7 q1
q4 q1 q5
q5 q3 q7
q6 q4 q1
q7 q1 q2
2017
3. Identifique El Lenguaje que reconoce. (Antes de minimizar)
Lenguaje generado por el autmata
L= {todas las cadenas que empiezan por un {1} o {2} y terminan en un {1} o
{2}}, con al menos tres elementos si comienza por 2 o tres elementos si
comienza por 1, sobre el alfabeto {1,2}
4. Identifique los estados Distinguibles y los No distinguibles
Estados Distinguibles
A={q 4, q7 }
Estados no Distinguibles
B={q0, q 1, q2, q 3 , q 5 , q 6 }
5. En el proceso de eliminacin de estados, identifique que transiciones se eliminan y

cules se re direccionan. Muestre la tabla de estados distinguibles.
Estados equivalentes para primer grupo

A={q 4, q7 }
1 2
q4 B B
q7 B B
Estados equivalentes grupo B
B={q0, q 1, q2, q 3 , q 5 , q 6 }
1 2
q0 B B
q1 B B
q2 B A
2017
q3 A B
q5 B A
q6 A B
Se forman nuevos grupo luego de validacin de los dos conjuntos iniciales
A={q 4, q7 }
B={q0, q 1 }
C={q 2, q5 }
D={q3 , q6 }
Tablas de los nuevos conjuntos

A={q 4, q7 }
1 2
q4 B C
q7 B C
B={q0, q 1 }
1 2
q0 B C
q1 C D
C={q 2, q5 }
1 2
q2 D A
q5 D A
D={q3 , q6 }
1 2
q3 A B
q6 A B
Nuevos conjuntos son generados, q0 ingresa al conjunto A y se forma conjunto

de inicio y final E.
2017
E={q 4, q7 , q0 }
B={q1 }
C={q 2, q5 }
D={q3 , q6 }
Revisando los conjuntos y sus tablas
E={q 4, q7 , q 0 }
1 2
q4 B C
q7 B C
q0 B C
B={q1 }
1 2
q1 C D
C={q 2, q5 }
1 2
q2 D E
q5 D E
D={q3 , q6 }
1 2
q3 E B
q6 E B
Mediante el procedimiento de la minimizacin encontramos que el estado q0

pertenece al conjunto A formndose y se forma el conjunto E, en este se comporta
como un estado inicial tambin estado de aceptacin, la tabla de transiciones es
la siguiente:
Estados Entradas
1 2
2017
E B C
B C D
C D E
D E B
Autmata generado
Realice la descripcin (notacin) (caracterizacin) matemtica del autmata ya

minimizado.
M = (K, , , s, F)
A={{ B ,C , D , E } , {1,2 } , , E { E } }
Estados del autmata

K= { B , C , D , E }
Lenguaje reconocido por el autmata

={ 1,2 }
Estado inicial
2017
s=E
Estados de aceptacin
F=E
Transiciones:
:(B , 1)=C
:(B , 2)=D
:(C , 1)=D
:(C , 2)=E
:( D ,1)=E
:(D ,2)=B
:(E ,1)=B
:(E ,2)=C
Identifique El Lenguaje que reconoce
L = { {0, 1} | = todas las cadenas que empiezan por un {1} o {2} y terminan
en un {1} o {2}}, con al menos tres elementos si comienza por 2 o tres elementos si
comienza por Identifique su gramtica (de forma manual) por la derecha y
caractercela. Debe incluir el diagrama de estados con los componentes de la
gramtica asociados a las variables y a las constantes.
Regla Gramtica
E 1 B S 2 B
E 2 C B2S
B 1C C1S
B2D B 1C
D 1 E S 1 A
D 2 B A 1 B
C1D A 2 C
2017
C2D C2 A
E S
V = es un alfabeto de variables
= Es un alfabeto de constantes
R = es el conjunto de reglas es un subconjunto finito
S = el smbolo inicial y un elemento de V
La gramtica regular es lineal por la derecha, ya que todas las producciones se

presentan de la forma
A Ab
A a
2017
Ejercicio 2
Disee un AP que lea el siguiente lenguaje L = {(ab*) | (c*d*)} ; es decir todas las
combinaciones posibles de cadenas conformadas por los smbolos (a) (b*) o (c*)
(d*) (con pila vaca).
1. Describa el autmata en notacin matemtica
Conjunto de estados del autmata

Q= {q1, q2, q3, q1}
Alfabeto
= {a, b, c, d}
Contenido de la Pila
= {V}
Estado Inicial
s=q1
Smbolo Inicial de pila
Z= V
Estados de aceptacin: q2, q4
Funcin delta, donde e es psilon
1. ((q1,a,V),(q2,e))
2. ((q2,b,e),(q2,e))
3. ((q1,e,V),(q3,e))
4. ((q3,c,e),(r,e))
5. ((q3,d,e),(q4,e))
6. ((q4,d,e),(q4,e))
2. Determine el lenguaje que reconoce el AP.
Gramtica libre de contexto que representa el lenguaje del autmata:
3. S->aB|cC|e
4. B->bB|e
5. C->cC|D
6. D->dD|e
2017
= { ()|(cd) | = todas las cadenas que empiezan por el smbolo a;

seguidas de una o muchas cadenas con el smbolo b o seguida de cadenas
conformadas por ninguna o muchas c y d}
3. Justifique y asocio o evidencie si el diseo es un APND o un APD
Es un Autmata de Pila Determinista (APND) ya que se puede notar al ubicarnos

en el estado inicial q1 tiene un paso hacia el estado q2 lee el smbolo vaco. Es
decir que cuando la entrada contiene el smbolo a, se ejecuten dos posibles
caminos, uno hacia el estado q2 con el smbolo a y el que va al estado q3 con el
smbolo vaco.
4. Grafquelo en JFLAP y realice el Traceback para las transiciones. (Las

columnas para un AP son: El estado en que se encuentra el autmata, lo que falta
por leer de la palabra de entrada, y el contenido de la pila).
5. Plasme las imgenes del recorrido de ese Traceback para cada movimiento en
el documento. (Se debe apoyar en JFLAP) (Documente el proceso)
2017
Introducimos la cadena aabb
Toma dos caminos a q2 por a y q3 (leyendo el smbolo vacio)
La cadena es rechazada
2017
Simulacin de abbb
Se desprende hacia dos estados por a y por vacio
La ejecucin de smbolo vaco no puede hacer nada ms por lo que se rechaza

2017
Por otra parte sigue teniendo smbolos que leer y acepta la cadena
Simulamos la cadena cddd

2017
Toma por la transicin vaca hacia a q3, donde lee c y luego a q4 al leer d
Itera leyendo d nuevamente y la cadena es aceptada

2017
CONCLUSIONES
El trabajo descrito representa un aporte significativo a la teora de gramticas

independientes del contexto, con el trabajo desarrollado fue posible debatir y
desarrollar los ejercicios planteados sobre autmatas con pila y gramticas a
travs de la realizacin de ejercicios de aplicacin donde evidenciamos el proceso
para la caracterizacin matemtica del autmata, plasmamos la tabla de transicin
del autmata indicado, logramos la identificacin del lenguaje que reconoce un
determinado autmata, adems de determinar los estados distinguibles y no
distinguibles, se evidencia el proceso de minimizacin mediante la eliminacin de
estados, mostrando las transiciones se eliminan y cules van a ser re
direccionadas, se logr mediante el ejercicio la identificacin de la gramtica de un
autmata de forma manual y caracterizacin.
Mediante la actividad propuesta el grupo realizo el diagrama de estados con los

componentes de la gramtica asociados a las variables y a las constantes de un
autmata, el ejercicio permiti el reconocimiento de autmatas con pila, definiendo
si era determinista o no determinista, se utiliz como herramienta de apoyo el
software JFLAP para su representacin as como la simulacin de lectura de
cadenas mediante Traceback para las transiciones, tomando evidencia del
proceso para documentarlo, finalmente como grupo se logr la apropiacin de
todos estos nuevos conocimientos que esperamos sean de aplicacin es nuestro
entorno profesional.
2017
BIBLIOGRAFIA
Alfonseca C, E., Alfonseca M, M., Mariyn S, R. (2009). Teora de

autmatas y lenguajes formales. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10498456&ppg=6
Carrasco, R., Calera, R., Forcada, M. (2016). Teora De Lenguajes,

Gramticas Y Autmatas Para Informticos. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2048/login?
user=proveedor&pass=danue0a0&url=http://bibliotecavirtual.unad.edu.co:20
51/login.aspx?direct=true&db=nlebk&AN=318032&lang=es&site=eds-
live&ebv=EB&ppid=pp_Cover
Hernndez, R. (2010). Practique la teora de autmatas y lenguajes

formales. (pp. 1 -124). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10566114&ppg=10
Kelley, D. (1995). Teora de Autmatas y Lenguajes Formales, Prentice Hall

Hispanoamericana.
Milln, J., Antonio J. (2009). Compiladores y procesadores de lenguajes.

(pp. 73-126). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?
docID=10844351

Automatas y Lenguaje Formales, Ejercicios

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Automatas y Lenguaje Formales, Ejercicios

Diunggah oleh

Hak Cipta:

Format Tersedia

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

AUTOMATAS Y LENGUAJES FORMALES

DEBATIR Y DESARROLLAR LOS EJERCICIOS PLANTEADOS SOBRE

CARLOS ORLANDO ROJAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

El presente trabajo colaborativo contiene material acadmico correspondiente al

Se pretende identificar y comprender los conceptos y definiciones fundamentales

Para el cumplimiento de estos objetivos propuestos se realiza una investigacin

Teniendo en cuenta el siguiente autmata realizar el proceso de minimizacin. Se debe

1. Realice la descripcin (notacin) (caracterizacin) matemtica del autmata. (Antes de

De acuerdo a la definicin formal tenemos

A={{ q 0, q1, q 2, q3, q 4, q5 , q6 , q 7 } , {1,2 } , , q 0 , { q 7 ,q 4 } }

Donde, estados del autmata:

El Lenguaje reconocido por el autmata:

Estados finales o de aceptacin:

Transiciones del autmata:

3. Identifique El Lenguaje que reconoce. (Antes de minimizar)

Lenguaje generado por el autmata

4. Identifique los estados Distinguibles y los No distinguibles

5. En el proceso de eliminacin de estados, identifique que transiciones se eliminan y

Estados equivalentes para primer grupo

Se forman nuevos grupo luego de validacin de los dos conjuntos iniciales

Tablas de los nuevos conjuntos

Nuevos conjuntos son generados, q0 ingresa al conjunto A y se forma conjunto

Revisando los conjuntos y sus tablas

Mediante el procedimiento de la minimizacin encontramos que el estado q0

Realice la descripcin (notacin) (caracterizacin) matemtica del autmata ya

Estados del autmata

Lenguaje reconocido por el autmata

Identifique El Lenguaje que reconoce

R = es el conjunto de reglas es un subconjunto finito

S = el smbolo inicial y un elemento de V

La gramtica regular es lineal por la derecha, ya que todas las producciones se

Conjunto de estados del autmata

2. Determine el lenguaje que reconoce el AP.

Gramtica libre de contexto que representa el lenguaje del autmata:

= { ()|(cd) | = todas las cadenas que empiezan por el smbolo a;

3. Justifique y asocio o evidencie si el diseo es un APND o un APD

Es un Autmata de Pila Determinista (APND) ya que se puede notar al ubicarnos

4. Grafquelo en JFLAP y realice el Traceback para las transiciones. (Las

Introducimos la cadena aabb

Toma dos caminos a q2 por a y q3 (leyendo el smbolo vacio)

Se desprende hacia dos estados por a y por vacio

La ejecucin de smbolo vaco no puede hacer nada ms por lo que se rechaza

Simulamos la cadena cddd

Itera leyendo d nuevamente y la cadena es aceptada

El trabajo descrito representa un aporte significativo a la teora de gramticas

Mediante la actividad propuesta el grupo realizo el diagrama de estados con los

Alfonseca C, E., Alfonseca M, M., Mariyn S, R. (2009). Teora de

Carrasco, R., Calera, R., Forcada, M. (2016). Teora De Lenguajes,

Hernndez, R. (2010). Practique la teora de autmatas y lenguajes

Kelley, D. (1995). Teora de Autmatas y Lenguajes Formales, Prentice Hall

Milln, J., Antonio J. (2009). Compiladores y procesadores de lenguajes.

Anda mungkin juga menyukai