TRABAJO COLABORATIVO N 2

APORTE INDIVIDUAL









AUTOMATAS Y LENGUAJES FORMALES










PRESENTADO POR:

JUAN CAMILO VANEGAS GONZALEZ
1.112.772.148

















PRESENTADO A:
CARLOS ALBERTO AMAYA









UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA


COLOMBIA 2014


jlkuioopuoiip0opiACTIVIDADES PARA EL EJERCICIO A MINIMIZAR:


2. Que transiciones se reemplazan o resultan equivalentes. R/ Las
transiciones equivalentes son:








3. Escribir la funcin de transicin del nuevo autmata.









4. Identificar la expresin regular. Por el lema de Arden se fue reduciendo la
Expresin.


R / a(a+ba*ba*b)*+b(aa*b)* ba*ba*


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






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























10. Identificar sus tablas de Transicin (plasmarlas)

a B


q0 { q0 } { q1 }

q1 { q1 } { q2 }

# q
2
{ q2 } { q0 }




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.
R/
a. Se construye el autmata en el simulador.






















b. Seleccionamos en el men convert y damos clic en miniminize DFA.



















c. Damos clic en complete subtree.

















d. Hacemos clic en finish, luego clik en complete, para realizar las transiciones.

























e. Damos clic en done el cual nos indica que el autmata esta minimizado.






















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)

R/ Traza para la cadena abc.
Para comprobar la valides de la cadena hacemos clik en input y luego clik en step
with closure, en la venta que nos aparece digitamos la cadena y colocamos que
hasta el estado final y damos clik en step para correr el autmata, para cada uno
de sus estados hasta el estado final.























Hacemos clic en trace y se desplaza otra ventana la cual nos muestra la traza.





























4. Muestre el diagrama correspondiente de estados.
R/ Para los autmatas con pila se pueden hacer diagramas de estados, similares a
los ya conocidos, pero resultan de poca utilidad prctica ya que el procesamiento
completo de una cadena de entrada depende del contenido de la pila, el cual puede
cambiar en cada paso computacional.

Estado Por leer Pila
q abc
q abc a
q bc ab
q c abc