Momento Dos Autómatas 2014

Momento 2 Trabajo Colaborativo 2
301405 Autmatas y Lenguajes Formales

Grupo N 12
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

AUTMATAS Y LENGUAJES FORMALES
Presentado por:
ANYELO ENRIQUE FORERO Cd. 80171768
OSCAR JOS RAMREZ CARDONA Cd. 79810115
WILMER CEBALLOS MATEUS Cd.
Tutor
CARLOS ALBERTO AMAYA TARAZONA
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

INGENIERA DE SISTEMAS
Septiembre de 2014

Grupo N 12
Introduccin
El siguiente trabajo corresponde al desarrollo del trabajo colaborativo del curso de Autmatas
y lenguajes formales, en el aplicaremos los contenidos temticos que hemos adquirido del
estudio de la unidad dos.
Los lenguajes independientes del contexto que tambin se conocen con el nombre de
gramticas de contexto libre son un mtodo recursivo sencillo de especificacin de reglas
gramaticales con las que se pueden generar cadenas de un lenguaje.
Es factible producir de esta manera todos los lenguajes regulares, adems de que existen
ejemplos sencillos de gramticas de contexto libre que generan lenguajes no regulares. Las
reglas gramaticales de este tipo permiten que la sintaxis tenga variedad y refinamientos
mayores que los realizados con lenguajes regulares, en gran medida sirven para especificar la
sintaxis de lenguajes de alto nivel y otros lenguajes formales.

Grupo N 12
Objetivos
OBJETIVO GENERAL:
Reconocer las distintas gramticas ya que existen diferentes formas que generan un
mismo lenguaje. El hecho de no restringir la forma de las reglas se tiene inters en los
casos en que se desea disear una gramtica para un lenguaje dado.
OBJETIVOS ESPECFICOS:
Analizar la estructura de las gramticas independientes del contexto.
Estudiar el concepto de los autmatas de pila, su funcionamiento y los lenguajes
utilizados. Distinguir los lenguajes independientes del contexto existentes y sus
propiedades, as como los algoritmos de decisin.
Generalizar los conceptos de autmatas finitos y gramticos regulares.
Reconocer el potencial de procesamiento del lenguaje del autmata con los Autmatas
de pila

Grupo N 12
PARTE 1
Calcular el autmata mnimo correspondiente al siguiente autmata finito.
1. Enuncie el autmata en notacin matemtica e identifique que tipo de autmata es.

= (, , , 0 , ), = {0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 }, = {0, 1}
0 =
= {5 } =
Donde la funcin de transicin est dada por:
= {0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 } {, } {0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 }0 5
(0 , 0) = 2
(0 , 1) = 1
(1 , 0) = 4
(1 , 1) = 5
(2 , 0) = 3
(2 , 1) = 4
(3 , 0) = 2
(3 , 1) = 7
(4 , 0) = 7
(4 , 1) = 6
(5 , 0) = 6
(5 , 1) = 1
(6 , 0) = 3
(6 , 1) = 4
(7 , 0) = 4
(7 , 1) = 5
2. Identifique los componentes del autmata (que tipo de tupla es)

Conjunto de estados = {0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 }
Alfabeto = {0, 1}
: Q x Q Funcin de transicin para un AFD
4

Grupo N 12
0 =
= {3 , 5 } =
3. Identifique la tabla de transicin correspondiente
0
q0
q2
q1
q1
q4
q5
q2
q3
q4
# q3
q2
q7
q4
q7
q6
# q5
q6
q1
q6
q3
q4
q7
q4
q5
Cada fila la corresponde a un estado q Q

El estado inicial se precede del smbolo
Cada estado final se precede del smbolo #
Cada columna corresponde a un smbolo de entrada x
4. Identifique el lenguaje que reconoce (no en notacin de ER) y enuncie cinco posibles
cadenas vlidas que terminen en el estado halt y cinco cadenas no vlidas.
Expresiones Vlidas
011101
0101

Grupo N 12
101000
00011100011010
10010110
Expresiones NO Vlidas
0111
1001100
1011
01001

Grupo N 12
010011
Verificacin en JFLAP
5. Encuentre la expresin regular vlida. (se genera de forma manual, asociando cada
operador y sentencia al diagrama de moore de forma explicativa). No se genera con el
JFLAP.
Se asocian los posibles caminos desde el estado inicial a cada uno de los estados finales as:
Estado inicial: q0 y los estados finales son:{3 , 5 }
Camino 1: 0 , 2 , 4 , 6 , 3
Camino 2: 0 , 2 , 3
Camino 3: 0 , 2 , 4 , 7 , 5
Camino 4: 0 , 1 , 4 , 6 , 3
Camino 5: 0 , 1 , 4 , 7 , 5
Camino 6: 0 , 1 , 5 , 6 , 3
Camino 7: 0 , 2 , 3 , 7 , 5
Camino 8: 0 , 1 , 5
Entonces la expresin regular del autmata sera la siguiente:
(01(1+1)0+0(0+0)+01(0+0)1+10(1+1)0+10(0+0)1+1(1+1)00+0(0+0)11+1(1+1))
7

Grupo N 12
6. Encuentre su gramtica que sea vlida para la funcin de transicin (describa sus
componentes y como se escriben matemticamente). 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)
Definimos o caracterizamos una gramtica regular como: Un cudruplo (V, , R, S) en
donde:
V = Es el alfabeto de variables (, , , , , , , )
= Es el alfabeto de constantes {0,1}
R = Es el conjunto de reglas, es un subconjunto finito de ( )
S= Es el smbolo inicial y es un elemento de V
Esta gramtica, tiene las producciones por la derecha, es decir que es:
Lineal por la derecha, Cuando todas las producciones tienen la forma A aB o bien A
a
Para nuestro caso:
A 1E
E 1A
= (, , R, S)
= [{, , , , , , , }, {0,1}, { 1, 1, 1, 0, 1, 1,
1, 1, 0, 0, , 0, 0, 0, 0,
0, 1, , 0}]

Grupo N 12
Gramtica ordenada
7. Realice el rbol de Derivacin de esa gramtica

Cadena valida 1100

Grupo N 12
ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR
1. Realice el proceso de Minimizacin. Identificando estados equivalentes (comprubelos)
= (0 , 0) = 2
= (1 , 0) = 4
= (2 , 0) = 3
= (3 , 0) = 2
= (4 , 0) = 7
= (5 , 0) = 6
= (6 , 0) = 3
= (7 , 0) = 4
= (0 , 1) = 1
= (1 , 1) = 5
= (2 , 1) = 4
= (3 , 1) = 7
= (4 , 1) = 6
= (5 , 1) = 1
= (6 , 1) = 4
= (7 , 1) = 5
Se llama minimizacin a la obtencin de un autmata con el menor nmero posible de

estados. En el caso de los AFD, vamos a entender por simplificacin la reduccin en el
nmero de estados, pero aceptando el mismo lenguaje que antes de la simplificacin. Lo
que nos indica que se pueden suprimir aquellos estados que son equivalentes.
Dos estados son equivalentes, 1 2 si al intercambiar uno por otro en cualquier
configuracin no altera la aceptacin o rechazo de toda palabra. En el ejercicio los estados
1 y 7 son excluyentes, (ya que ambos cumplen la misma funcin) y al eliminar uno u otro
no altera la aceptacin o no de una cadena.
10

Grupo N 12
Si se observa:
Del estado 1 sale el smbolo 0 y llega al estado 4 . Del estado 7 sale el smbolo 0 y llega
al estado 4 .
Del estado 1 sale el smbolo 1 y llega al estado 5 . Del estado 7 sale el smbolo 1 y llega
al estado 5 .
Entonces quiere decir que, si 1 7 , al cambiar 1 por 7 en la configuracin, la palabra
va a ser aceptada (se acaba en el estado final) si y slo si de todos modos iba a ser
aceptada sin cambiar 1 por 7 (se acaba en el estado final).
Las flechas que salen del estado mencionado son eliminadas.
Las flechas que llegan son dirigidas a su estado equivalente.
Eliminado 7
Ahora, lo mismo sucede con los estados 2 6 , al cambiar 2 por 6 en la configuracin,

la palabra va a ser aceptada.
= (0 , 0) = 2
= (1 , 0) = 4
= (2 , 0) = 3
= (3 , 0) = 2
= (4 , 0) = 1
= (5 , 0) = 6
= (6 , 0) = 3
= (0 , 1) = 1
= (1 , 1) = 5
= (2 , 1) = 4
= (3 , 1) = 1
= (4 , 1) = 6
= (5 , 1) = 1
= (6 , 1) = 4

11

Grupo N 12
Eliminado 6
= (0 , 0) = 2
= (1 , 0) = 4
= (2 , 0) = 3
= (3 , 0) = 1
= (4 , 0) = 0
= (5 , 0) = 2
= (0 , 1) = 1
= (1 , 1) = 5
= (2 , 1) = 4
= (3 , 1) = 0
= (4 , 1) = 2
= (5 , 1) = 1
Vemos que lo mismo sucede con los estados 0 5 , al cambiar 0 por 5 en la

configuracin, la palabra va a ser aceptada.
Eliminado 5
12

Grupo N 12
Nos quedan estos estados:
= (0 , 0) = 2
= (1 , 0) = 4
= (2 , 0) = 3
= (3 , 0) = 2
= (4 , 0) = 0
= (0 , 1) = 1
= (1 , 1) = 0
= (2 , 1) = 4
= (3 , 1) = 0
= (4 , 1) = 2
En conclusin, los estados que se suprimen son:

7 , 6 5 por las razones explicadas anteriormente.
Pero ahora, se debe ordenar el autmata minimizado para que no se alteren los datos
obtenidos como lo son las cadenas vlidas y las cadenas no vlidas.
Este es nuestro nuevo autmata minimizado
13

Grupo N 12
2. Que transiciones se reemplazan o resultan equivalentes. Realice la tabla de estados

distinguibles.
Una vez que se sabe que dos estados son equivalentes, se puede pensar en eliminar uno
de ellos, para evitar la redundancia y hacer ms eficiente a AFND.
Las transiciones que se reemplazan son:
= (1 , 0) = 4
= (7 , 0) = 4
= (1 , 1) = 5
= (7 , 1) = 5
= (2 , 0) = 3
= (6 , 0) = 3
= (2 , 1) = 4
= (6 , 1) = 4
= (0 , 0) = 2
= (5 , 0) = 4
= (0 , 1) = 1
= (5 , 1) = 1
Quedando, los estados 3 , 2 , 1 y 0 respectivamente.

Tabla de estados distinguibles
q1
q2
q3
q4
q5
q6
q7
X
X
X
X
X
X
X
X
X
X
(q0,q5)
X
X
X
X
X
(q2,q6)
X
X
(q1,q7)
X
X
q0
q1
q2
q3
X
X
X
q4
X
X
q5
X
q6
X = Estados distinguibles
3. Escribir la funcin de transicin del nuevo autmata.

= (, , , 0 , )
Donde:
= {0,1}
= {0 , 1 , 2 , 3, 4 }
=
14

Grupo N 12
= {4 }
= {2 }
= (0 , 0) = 3
= (1 , 0) = 4
= (2 , 0) = 1
= (3 , 0) = 0
= (4 , 0) = 1
= (0 , 1) = 1
= (1 , 1) = 0
= (2 , 1) = 3
= (3 , 1) = 4
= (4 , 1) = 3
4. Identificar la expresin regular (explicarla en la lectura matemtica que se le (debe hacer

asociada al diagrama de moore de forma manual)
(0+1)(0(00)*+1(11)*0(00)+(11)*)
5. Luego de minimizado, compruebe las mismas cadenas vlidas y no vlidas iniciales.
6. Identificar el lenguaje que reconoce (no con notacin de ER).

El conjunto de todas las cadenas que empiecen por 0 o por 1; que terminen en 0 o
por 1; las cadenas que terminen en 0 son vlidas que ese 0 le precedan un 1 o
muchos 1; para las cadenas que terminan en 1 estas pueden estar precedidas de un 1
o varios 1 y a su vez precedan de 0 o muchos 0.
15

Grupo N 12
7. Identificar su gramtica. Demustrela para una cadena vlida del autmata.
Cadena vlida del autmata 1100
16

Grupo N 12
8. Compare la gramtica con el autmata antes de minimizar (ya sea por la izquierda o
derecha).
ANTES DE MINIMIZAR
DESPUS DE MINIMIZAR
Nos damos cuenta de:

La gramtica es linealmente por la derecha antes y despus de minimizar.
Antes de minimizar haba 8 estados, y nos quedan solo 5 despus de la minimizacin.
17

Grupo N 12
9. El autmata nuevo expresarlo o graficarlo con su respectivo diagrama de Moore.
10. Identificar sus tablas de Transicin (plasmarlas).
18

Grupo N 12
11. Plasmar los pasos de minimizacin en el simulador (comprelos con el proceso manual
que est explicando) y capturar los procesos en imgenes para ser documentadas en el
texto.
Paso 1.
Seleccionar convert
Paso 2.
Clic en Mininize DFA
19

Grupo N 12
Paso 3.
Clic sobre los nmeros 0, 1, 2, 3
Paso 4
Clic en complete subtree
20

Grupo N 12
Paso 5
Paso 6
Clic en Finish
21

Grupo N 12
Paso 7
Paso 8.
Clic en Complete
22

Grupo N 12
Paso 9
Paso 10
Clic en Done
23

Grupo N 12
Paso 11
Paso 12
Dndonos como resultado final el mismo autmata del punto 9.
24

Grupo N 12
PARTE 2
Disee un APD que acepte cadenas de este tipo: {(aabc) (aaaaaabc) (aaabcc) (aaabc)
(aaaabcc)} Encuentre en primera instancia una regla que evales estas cadenas y que
cumpla las condiciones de las mismas.
Regla: anbcn Para cualquier cadena del lenguaje.
1. Describa el autmata en notacin matemtica, identificando el tipo de cadenas que
reconoce de forma generalizada (es decir su lenguaje).
= {0 , 1 }
= {, , }
r = Z 0, 1
0 = 0
= 1
= [{0 , 1 , 2 }{, , }, { 0,1}, 0 , , {3 }
2. 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).
25

Grupo N 12
aabc
Estado inicial del autmata
Al realizar la lectura de b, se
inicia el borrado de la cinta.
Realizando lectura de la primera Se realiza el borrado de 1 al

entrada de la cadena
ingresar c.
Ingresa otro 1 a la cinta de la pila.
26

Grupo N 12
aaaaaabc
Iniciamos con el solo estado inicial
del AP Z0
Ingresamos el primer valor de la

cadena
27

Grupo N 12
aaabc
Iniciando el autmata programable
Ingresamos caracteres de la
cadena
28

Grupo N 12
3. Plasme las imgenes y capturas en el documento

aabc
29

Grupo N 12
aaaaaabc
30

Grupo N 12
aaabcc
31

Grupo N 12
32

Grupo N 12
4. Muestre el diagrama correspondiente de estados
5. Identifique los contenidos (el recorrido para cada interaccin) de la pila y el estado de
parada. Realcelo con una cadena vlida.
(0 , , 0 ) = {(1 , 10 )}
(0 , , 0 ) = {(1 , 11)}
(1 , , 0 ) = {(2 , )}
(2 , , 0 ) = {(2 , )}
33

Grupo N 12
Bibliografa
Amaya Tarazona, Carlos Alberto (2014): 301405 Autmatas y Lenguajes Formales.
Duitama, Boyac.
34

Momento Dos Autómatas 2014

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Momento Dos Autómatas 2014

Transféré par

Droits d'auteur :

Formats disponibles

Momento 2 Trabajo Colaborativo 2

301405 Autmatas y Lenguajes Formales

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Momento 2 Trabajo Colaborativo 2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Momento 2 Trabajo Colaborativo 2

Momento 2 Trabajo Colaborativo 2

Momento 2 Trabajo Colaborativo 2

1. Enuncie el autmata en notacin matemtica e identifique que tipo de autmata es.

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

Momento 2 Trabajo Colaborativo 2

Cada fila la corresponde a un estado q Q

Momento 2 Trabajo Colaborativo 2

Momento 2 Trabajo Colaborativo 2

Momento 2 Trabajo Colaborativo 2

Momento 2 Trabajo Colaborativo 2

7. Realice el rbol de Derivacin de esa gramtica

Momento 2 Trabajo Colaborativo 2

ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR

1. Realice el proceso de Minimizacin. Identificando estados equivalentes (comprubelos)

Se llama minimizacin a la obtencin de un autmata con el menor nmero posible de

Momento 2 Trabajo Colaborativo 2

Ahora, lo mismo sucede con los estados 2 6 , al cambiar 2 por 6 en la configuracin,

Las flechas que salen del estado mencionado son eliminadas.

Momento 2 Trabajo Colaborativo 2

Vemos que lo mismo sucede con los estados 0 5 , al cambiar 0 por 5 en la

Momento 2 Trabajo Colaborativo 2

Nos quedan estos estados:

En conclusin, los estados que se suprimen son:

Este es nuestro nuevo autmata minimizado

Momento 2 Trabajo Colaborativo 2

2. Que transiciones se reemplazan o resultan equivalentes. Realice la tabla de estados

Quedando, los estados 3 , 2 , 1 y 0 respectivamente.

3. Escribir la funcin de transicin del nuevo autmata.

Momento 2 Trabajo Colaborativo 2

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

5. Luego de minimizado, compruebe las mismas cadenas vlidas y no vlidas iniciales.

6. Identificar el lenguaje que reconoce (no con notacin de ER).

Momento 2 Trabajo Colaborativo 2

7. Identificar su gramtica. Demustrela para una cadena vlida del autmata.

Cadena vlida del autmata 1100

Momento 2 Trabajo Colaborativo 2

Nos damos cuenta de:

Momento 2 Trabajo Colaborativo 2

9. El autmata nuevo expresarlo o graficarlo con su respectivo diagrama de Moore.

10. Identificar sus tablas de Transicin (plasmarlas).

Momento 2 Trabajo Colaborativo 2

Momento 2 Trabajo Colaborativo 2

Momento 2 Trabajo Colaborativo 2

Momento 2 Trabajo Colaborativo 2

Momento 2 Trabajo Colaborativo 2

Momento 2 Trabajo Colaborativo 2

Dndonos como resultado final el mismo autmata del punto 9.

Momento 2 Trabajo Colaborativo 2

Momento 2 Trabajo Colaborativo 2

Realizando lectura de la primera Se realiza el borrado de 1 al

Ingresa otro 1 a la cinta de la pila.

Momento 2 Trabajo Colaborativo 2

Ingresamos el primer valor de la

Momento 2 Trabajo Colaborativo 2

Momento 2 Trabajo Colaborativo 2

3. Plasme las imgenes y capturas en el documento

Momento 2 Trabajo Colaborativo 2