AUTÓMATAS

 

AUTÓMATAS Y LENGUAJES FORMALES

Ejercicio 1: 

Teniendo en cuenta la siguiente tabla de transiciones cree el automata y realice el proces de minimización paso a paso 

Estado
Estado	a	b
->q0	q1	q2
q1	q3	q5
q2	q6	q4
q3	q3	q5
q4	q6	q4
q5	q6	q4
#q6	q3	q5

Para el automata ya minimizado.

1. Realice la notación formal ( caracterización ) matematica del automata ya minimizado.

2. Plasme la gramatica del automata.

3. Identifique el lenguaje que reconoce.

4. Identifique su gramatica ( de Forma Manual ) por la derecha y caractericela. debe incluir el diagrama de estado con los componentes de la gramatica asociados a las variables y a las constantes

Ejercicio #2

Diseñe un AP que lea el siguiente lenguaje L = {(0^n+1^m: 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).