ACTIVIDAD AUTOMATAS Y LENGUAJES FORMALES

MOMENTO DOS





PRESENTADO POR:

MAYRA ALEJANDRA CATALAN MARTINEZ
COD: 1065568667
301405_21

PRESENTADO A:

Ing. CARLOS ALBERTO AMAYA TARAZONA



UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
INGENIERIA DE SISTEMAS

VALLEDUPAR, SEPTIEMBRE 19 DE 2014




Problemas a desarrollar:

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.

Autmata Finito Determinista
M= (K, , q
0
, , A) donde:
K = {q
0,
q
1,
q
2,
q
3,
q
4,
q
5,
q
6,
q
7
}
= {0,1}
q
0
que es el estado inicial;
A= {q
3,
q
5
} es el conjunto de estados finales o de aceptacin.
: { q
0,
q
1,
q
2,
q
3,
q
4,
q
5,
q
6,
q
7
} x {0,1} { q
0,
q
1,
q
2,
q
3,
q
4,
q
5,
q
6,
q
7
} q
0
{ q
3,
q
5
}

:=( q
0
,0) = q
2
:=( q
4
,0) = q
7
:=( q
0
,1) = q
1
:=( q
4
,1) = q
6
:=( q
1
,0) = q
4
:=( q
5
,0) = q
6
:=( q
1
,1) = q
5
:=( q
5
,1) = q
1
:=( q
2
,0) = q
3
:=( q
6
,0) = q
3
:=( q
2
,1) = q
4
:=( q
6
,1) = q
4
:=( q
3
,0) = q
2
:=( q
7
,0) = q
4
:=( q
3
,1) = q
7
:=( q
7
,1) = q
5


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


su tupla es: 5 tupla
1 tupla K = {q
0,
q
1,
q
2,
q
3,
q
4,
q
5,
q
6,
q
7
}
2 tupla = {0,1}
3 tupla q
0
que es el estado inicial
4 tupla es la funcin de transicin denotada por el smbolo
5 tupla A= {q
3,
q
5
} es el conjunto de estados finales o de aceptacin.


3. Identifique la tabla de transicin correspondiente

0 1
q
0
q
2
q
1

q
1
q
4
q
5

q
2
q
3
q
4

# q
3
q
2
q
7

q
4
q
7
q
6

# q
5
q
6
q
1

q
6
q
3
q
4

q
7
q
4
q
5



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
El lenguaje que genera L={ {0,1}* | = para todas las cadenas que empiecen por 11 00
que empiecen por 10 01 seguidos de una, ninguna o muchas cadenas conformadas por
00+11 terminando en 01 10, seguidas por una, ningunas o muchas cadenas de la expresin
antes descrita.

Cadenas validas: (00),(11),(0110),(1010),(101110)
Cadenas no validas: (000)(111)(010)(101)(011)


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
(11+00+(10+01)(00+11)*(01+10))(11+00+(10+01)(00+11)*(01+10))*
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)



Cudruplo (V, , R, S) en donde:
V= {A, B, C, D, E, F, G} Es el alfabeto de variables
= {0, 1} es el alfabeto de constantes
R= conjunto de reglas o producciones que en este ejercicio serian:

S 1A
S 0B
E
F 0C
G 0D
D 0G
G 1E
C 0B
B 0C
A 0D
B 1D
E 0F
F 1D
D 1F
A 1E
E 1A
C 1G
C

S= S1A Es el smbolo inicial y es un elemento de V

En este caso es lineales por la derecha ya que todas las producciones tiene la forma
A ab, como ejemplo del ejercicio S1A

Conviritiendo a gramatica




Mostrando todas las transiciones nos genera 18 producciones











S que es asociado al estado inicial



La exportamos























Hacemos la verificacin de una cadena valida que en este ejercicio tomaremos (10111110)



Generamos la tabla paso a paso para ver que producciones usa












Tabla generada


Observamos el rbol de derivacin de esa gramtica con la cadena valida, si revisamos que
producciones intervienen para poder ser vlida esa cadena, observamos que la primera es S
1A que viene a ser produccin cero, la segunda es la variable A y la constante 0 y luego a la
variable D sea A0D que viene a ser la produccin nmero 9 y as sucesivamente dando
como resulta las siguientes producciones para la cadena (10111110)

S 1A
A 0D
D 1F
F 1D
D 1F
F 1D
D 1F
F 0C
C




7. Realice el rbol de Derivacin de esa gramtica.




ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR:
1. Realice el proceso de minimizacin. Identificando estados equivalentes (comprubelos).
Se visualizan estados equivalentes como q
2
y q
6
, y tambin q
1 y
q
7,
ya que como podemos ver
en la siguiente ilustracin tanto q
2
como q
6
envan al estado q
3
el smbolo 0 y envan al estado
q
4
el smbolo 1, de la misma forma q
1
y q
7
envan al estado q
4
el smbolo 0 y envan al estado q
5

el smbolo 1.





El autmata minimizado quedara


2. Que transiciones se reemplazan o resultan equivalentes. Realice la tabla de estados
distinguibles
Los estados que son equivalentes para este ejercicio son q
2
es equivalente a q
6
, y q
1
es
equivalente a q
7

3. Escribir la funcin de transicin del nuevo autmata.
La funcin de transicin es : {q
0,
q
1,
q
2,
q
3,
q
4
} x {0,1} { q
0,
q
1,
q
2,
q
3,
q
4
} q
0
{ q
3
}

4. Identificar la expresin regular (explicarla en la lectura matemtica que se le debe hacer
asociada al diagrama de moore de forma manual).

5. 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 lenguaje que genera L={ {0,1}* | = para todas las cadenas que empiecen por 11 00
que empiecen por 10 01 seguidos de una, ninguna o muchas cadenas conformadas por
00+11 terminando en 01 10, seguidas por una, ningunas o muchas cadenas de la expresin
antes descrita.

7. Identificar su gramtica. Demustrela para una cadena vlida del autmata.
8. Compare la gramtica con el autmata antes de minimizar (ya sea por la izquierda o derecha).
9. El autmatas nuevo expresarlo o graficarlo con su respectivo diagrama de Moore.



10. Identificar sus tablas de Transicin (plasmarlas)
0 1
-> q
0
q
2
q
1

q
1
q
4
q
3

q
2
q
3
q
4

q
3
q
2
q
1

# q
4
q
1
q
2



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.

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.
1. Describa el autmata en notacin matemtica, identificando el tipo de cadenas que reconoce de
forma generalizada ( es decir su lenguaje).


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).
3. Plasme las imgenes y capturas en el documento. (Documente el proceso)
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.























BIBLIOGRAFA

http://fcbi.unillanos.edu.co/proyectos/Facultad/php/tutoriales/upload_tutos/Automatas%20Y%20Lengu
ajes.pdf
http://www.eafranco.com/docencia/teoriacomputacional/files/books/TeoriaDeAutomatas,lenguajesYCo
mputacion-Hopcroft.pdf