Actividad 10 Trabajo colaborativo 2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

AUTOMATAS Y LENGUAJES FORMALES

Curso 301405 grupo 15

COLABORATIVO 2

Tutor: JAIME VALDES

SERGIO PALACIO MOLINA

Julio 25 de 2014
 INTRODUCCIN

El presente trabajo tiene por objetivo reforzar todos los conocimientos

adquiridos en la unidad 2 del curso de Autmatas y lenguajes formales.

Para lo cual realizaremos uso del simulador JFLAP demostrando la

comprensin de las lecciones vistas a travs del reconocimiento de los
lenguajes regulares, los autmatas finitos, los autmatas de pila y las
actividades a desarrollar.

.
 OBJETIVOS

Identificar los autmatas al igual que el lenguaje que genera

Comprender y diferenciar los diferentes tipos de lenguajes
Reconocer el potencial de procesamiento del lenguaje del autmata con
los Autmatas de pila
 DESARROLLO

1. Calcular el autmata mnimo correspondiente al siguiente autmata

finito.

ACTIVIDADES ANTES DE MINIMIZAR.

1. Enuncie el autmata en notacin matemtica
= ,,,, , ,,

Donde = ,,,, = , = =
2. Identifique los componentes del autmata (que tipo de tupla es)

K Identifica el conjunto de estados = 0, 1, 2, 3, 4

Es el alfabeto de entrada = a,b

s Es el estado inicial = 0

F Es un conjunto de estados finales = 3

: , =

: , =

Es la funcin de transicin, que a : , =

partir de un estado y un smbolo del : , =

alfabeto obtiene un nuevo estado : , =

 : , =

: , =

: , =

: , =

: , =

Es un autmata deterministico.
3. Identifique la tabla de transicin correspondiente

4. Identifique el lenguaje que reconoce y enuncie cinco posibles cadenas vlidas que terminen en el estado halt
= , , = a,b abbb + abbab b + ab
El lenguaje q reconoce ser el de todas las posible s cadenas que empiecen por ab y que
terminen en b, bajo ciertas condiciones que resultan complejas (ER) por eso se minimiza.

Cadenas validas
5. Encuentre la expresin regular vlida.
6. Encuentre su gramtica que sea vlida para la funci n de transicin (describa sus
componentes y como se escriben matem ticamente). Justifquela si la convierte a
la Izquierda o a la derecha. Plsmela en el simulador y recrela. (Debe quedar
documentado en el texto el paso a paso que realizan en el simulador)

Componentes y como se escriben matemticamente

Aclarando: definimos gramticacomo el conjunto de reglas que sirven

para formar correctamente las frases de un lenguaje, se indica con la
letra G.
En si la gramtica para nuestro caso es un cudrupl o donde.

Es un alfabeto de variables ,,,,

Es un alfabeto de constantes ,

Es el conjunto de reglas

Es smbolo inicial un elemento de

- Justifquela si la convierte a la Izquierda o a la derecha

Es convertida por la derecha porque todas sus producciones tienen la forma:
7. Realice el rbol de Derivacin de esa gramtica

8. Identifique si ese rbol o gramtica es ambigua o n o y plasme las razones de su afirmacin

Definitivamente nuestro autmata es deterministico y no presenta

ambigedad, puesto que siempre presenta una ruta de terminada.

9. Si el rbol de transicin es demasiado grande, a su criterio seleccione una regla en la que se detenga por
cualquier rama (izquierda o derecha) y plsmelo hasta ah. (es decir seleccione una cadena vlida para este tem).

Para abb
Para abbb

Para abab

Para ababb
 Para abbab

ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR O YA MINIMIZADO:

10. Explicar el proceso de Minimizacin (que estados se suprimen y porque)

En el caso de los AFD la simplificacin es reducir estados pero de forma

que se acepte el mismo lenguaje al igual que antes de la simplificacin.

a. Definimos el autmata e identificamos lo que va a cambiar

b. Eliminar estados inaccesibles de m se identifican los estados
que pueden ser eliminados por ser equivalentes.
c. Identificar estados distinguibles recordar que si son equivalentes
no son distinguibles.
d. Construccin de tabla
11. Que transiciones se reemplazan o resultan equivalentes.
El estado ser eliminado ya que es equivalente.
12. Escribir la funcin de transicin del nuevo autmat.

K Identifica el conjunto de estados = 0, 2, 3, 4

Es el alfabeto de entrada = a,b

s Es el estado inicial = 0

F Es un conjunto de estados finales = 3

: , =

: , =

Es la funcin de transicin, que a : , =

partir de un estado y un smbolo del : , =

alfabeto obtiene un nuevo estado : , =

: , =

: , =

: , =

: , =

13. Identificar la expresin regular (explicarla en la lectura matemtica que se le debe hacer).

14. Compruebe una cadena vlida para esa expresin regular.

15. Identificar el lenguaje que reconoce y cinco posibles cadenas vlidas
= , , = a,b abbb + abbab b + ab

El lenguaje q reconoce ser el de todas las posible s cadenas que empiecen por ab y que
terminen en b, bajo ciertas condiciones que resultan complejas (ER) por eso se minimiza.

Cadenas validas
16. Identificar su gramtica. Demustrela para una cade na vlida del autmata.
17. Compare la gramtica con el autmata antes de minimizar.

18. El autmatas nuevo expresarlo o graficarlo con su respectivo diagrama de Moore.

19. Identificar sus tablas de Transicin (plasmarlas)

CONSTRUYA EL AUTMATA DE PILA CORRESPONDIENTE

Disee un APD que acepte: El lenguaje de la cadena vaca, que adems acepte
cualquier cadena que contenga un nmero de y menor o igual que el de x y
puede ser en cualquier orden. El diseo tambin debe permitir aceptar las
cadenas con la pila vaca.
20. Describa el autmata en notacin matemtica
= 0, 1
K es el conjunto de estados
es el alfabeto de entrada = x, y

es el alfabeto de la pila
S K es el estado inicial =

Z0 es el smbolo inicial de la pila (o tambin se denota como

Z simplemente)
F K es un conjunto de estados finales.

( K x * x *) x ( K x *) es la relacin (funcin) de transicin.

21. 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).
22. Plasme las imgenes y capturas en el documento. (Do cumente el proceso)
23. Muestre el diagrama correspondiente de estados.

24. Identifique los contenidos (el recorrido para cada interaccin) de la pila y el estado de parada. Realcelo con una cadena vlida .
GRAMTICAS
Sean L el lenguaje generado por la gramtica G

25. Identifique que tipo de gramtica es. Justifique su respuesta

Es gramtica regular puesto que existe un autmata finito

deterministico que lo reconoce como se evidencia en la simulacin.

Identifique los elementos (tupla) que es.

K Identifica el conjunto de estados = 0, 1, 2

Es el alfabeto de entrada = 0,1

s Es el estado inicial =

F Es un conjunto de estados finales =

: , 1 =

Es la funcin de transicin, que a : , 1 =

partir de un estado y un smbolo del : , 0 =

alfabeto obtiene un nuevo estado : , 1 =

26. Obtener el autmata Finito para la gramtica (plasme los diagramas de
Moore)

27. Identifique el Lenguaje que generan. Identifique si es lineal por la derecha o la izquierda.

Lineales por la derecha.- Todas las producciones tienen la forma

A aB o bien A a

= , 0,1 = 01 01

El lenguaje q reconoce ser el de todas las posible s cadenas que

empiecen por 01 y que terminen en 01, permitiendo la inclusin de

varios 1 en medio, bajo ciertas condiciones que resultan complejas
(ER) por eso se minimiza.

28. Plasme la secuencia y rbol de derivacin la cadena 0101 (Use el simulador para verificarla). E identifique que
producciones intervienen. Para justificar sus respuestas puede apoyarse en la simulacin que le d el software
JFLAP.
 CONCLUSIONES

Los simuladores permiten un gran avance al generar de forma amigable la

ayuda necesaria para verificar y comprender los autmatas.

Bibliografa

CARLOS ALBERTO AMAYA TARAZONA. (2014). AUTMATAS Y LENGUAJES FORMALES.

Duitama (ZCBOY): UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA.

John, M; (2004), Lenguajes formales y teora de la computacin. Tercera Edicin,

Mxico 2004. Ediciones Mc Graw Hill.

Pfleeger, S. (2002). Ingeniera de Software, teora y prctica. 1ra Edicin. Buenos Aires:
Pearson Educacin.