AUTÓMATAS Y LENGUAJES FORMALES - Fase 2

 

AUTÓMATAS Y LENGUAJES FORMALES

Actividades Colaborativas:

Ejercicio 1:

Teniendo en cuenta el siguiente autómata realizar el proceso de minimización. Se debe realizar el procedimiento paso a paso.

 

Para el autómata ya minimizado:

1. Realice la descripción (notación) (caracterización) matemática del autómata ya minimizado

2. Plasme la tabla de transición del autómata.

3. Identifique El Lenguaje que reconoce. 

4. Identifique su gramática (de forma manual) por la derecha y caracterícela. Debe incluir el diagrama de estados con los componentes de la gramática asociados a las variables y a las constantes. 

 

Ejercicio 2:

Diseñe un AP que lea el siguiente lenguaje L = {(0^n1m: n>0, m>0} (con pila vacía).

1. Describa el autómata en notación matemática

2. Determine el lenguaje que reconoce el AP.

3. Justifique y asocio o evidencie si el diseño es un APND o un APD

4. Grafíquelo en JFLAP y realice el “Traceback” para las transiciones. 

(Las columnas para un AP son: El estado en que se encuentra el autómata, lo que falta por leer de la palabra de entrada, y el contenido de la pila). 

5. Plasme las imágenes del recorrido de ese Traceback para cada movimiento en el documento. 

 

(Se debe apoyar en JFLAP)

(Documente el proceso).