TRABAJO COLABORATIVO N 2APORTE INDIVIDUAL

AUTOMATAS Y LENGUAJES FORMALES

PRESENTADO POR:

JUAN CAMILO VANEGAS GONZALEZ1.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)

aB

q0{ q0 }{ q1 }

q1{ q1 }{ q2 }

# q2{ 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.

EstadoPor leerPila

qabc

qabca

qbcab

qcabc