AUTÓMATAS Y LENGUAJES FORMALES
EJERCICIO A DESARROLLAR PARA MOMENTO 2
PARTE 1:
HALLAR EL AUTÓMATA MÍNIMO CORRESPONDIENTE al autómata finito que representa la siguiente expresión regular Expresión regular.
Importante: El proceso de minimización no se debe hacer de forma automática en JFLAP por que no será válido para asignación de puntos en la rúbrica. JFLAP lo puede usar para validar o demostrar algunos pasos o procesos pero no para la minimización automática. Para la obtención de las gramáticas, estas deben generarse de forma manual (no con JFLAP). Puede usar JFLAP para demostrar por ejemplo cadenas aceptadas o no por las gramáticas, y para los árboles de derivación pero no para generar las gramáticas.
1. Realice la descripción (notación) (caracterización) matemática del autómata. (Antes de minimizar)
[ PASO A PASO ]
2. Plasme la tabla de transición del autómata. (No es la que generas VAS). (Antes de minimizar)
[ PASO A PASO ]
3. Identifique El Lenguaje que reconoce. (Antes de minimizar)
[ PASO A PASO ]
4. Identifique la ER y en una tabla de validación (puede ser de Excel), verifique una cadena válida y una no válida. Tenga en cuenta la jerarquía de operadores. (Antes de minimizar)
[ PASO A PASO ]
5. Identifique los estados Distinguibles y los No distinguibles
[ PASO A PASO ]
6. Identifique los estados equivalentes (para ello muestre cómo evalúa esas equivalencias, colocando a los estados candidatos de equivalencia como estados iniciales). Evidencie el proceso de cómo los evalúa.
[ PASO A PASO ]
7. En el proceso de eliminación de estados, identifique que transiciones se eliminan y cuáles se re direccionan. Muestre la tabla de estados distinguibles
[ PASO A PASO ]
8. El autómata nuevo minimizado expresarlo o graficarlos en un diagrama de moore.
[ PASO A PASO ]
9. Realice la descripción (notación) (caracterización) matemática del autómata ya minimizado.
[ PASO A PASO ]
10. Identifique El Lenguaje que reconoce. (autómata ya minimizado)
[ PASO A PASO ]
11. Identifique la ER del autómata ya minimizado y en una tabla de validación (puede ser de Excel), verifique una cadena válida y una no válida. Tenga en cuenta la jerarquía de operadores. (autómata ya minimizado)
[ PASO A PASO ]
12. (Autómata minimizado) 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.
[ PASO A PASO ]
13. Realice la gramática por la izquierda (de forma manual) y compare si esta gramática acepta o no el mismo lenguaje (cadenas). Justifique y demuestre su respuesta.
[ PASO A PASO ]
14. Con una cadena válida, genere un árbol de derivación para la gramática por la derecha y demuestre y justifique si la cadena y árbol generado puede ser ambigua o no.
[ PASO A PASO ]
PARTE 1:
HALLAR EL AUTÓMATA MÍNIMO CORRESPONDIENTE al autómata finito que representa la siguiente expresión regular Expresión regular.
Importante: El proceso de minimización no se debe hacer de forma automática en JFLAP por que no será válido para asignación de puntos en la rúbrica. JFLAP lo puede usar para validar o demostrar algunos pasos o procesos pero no para la minimización automática. Para la obtención de las gramáticas, estas deben generarse de forma manual (no con JFLAP). Puede usar JFLAP para demostrar por ejemplo cadenas aceptadas o no por las gramáticas, y para los árboles de derivación pero no para generar las gramáticas.
1. Realice la descripción (notación) (caracterización) matemática del autómata. (Antes de minimizar)
[ PASO A PASO ]
2. Plasme la tabla de transición del autómata. (No es la que generas VAS). (Antes de minimizar)
[ PASO A PASO ]
3. Identifique El Lenguaje que reconoce. (Antes de minimizar)
[ PASO A PASO ]
4. Identifique la ER y en una tabla de validación (puede ser de Excel), verifique una cadena válida y una no válida. Tenga en cuenta la jerarquía de operadores. (Antes de minimizar)
[ PASO A PASO ]
5. Identifique los estados Distinguibles y los No distinguibles
[ PASO A PASO ]
6. Identifique los estados equivalentes (para ello muestre cómo evalúa esas equivalencias, colocando a los estados candidatos de equivalencia como estados iniciales). Evidencie el proceso de cómo los evalúa.
[ PASO A PASO ]
7. En el proceso de eliminación de estados, identifique que transiciones se eliminan y cuáles se re direccionan. Muestre la tabla de estados distinguibles
[ PASO A PASO ]
8. El autómata nuevo minimizado expresarlo o graficarlos en un diagrama de moore.
[ PASO A PASO ]
9. Realice la descripción (notación) (caracterización) matemática del autómata ya minimizado.
[ PASO A PASO ]
10. Identifique El Lenguaje que reconoce. (autómata ya minimizado)
[ PASO A PASO ]
11. Identifique la ER del autómata ya minimizado y en una tabla de validación (puede ser de Excel), verifique una cadena válida y una no válida. Tenga en cuenta la jerarquía de operadores. (autómata ya minimizado)
[ PASO A PASO ]
12. (Autómata minimizado) 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.
[ PASO A PASO ]
13. Realice la gramática por la izquierda (de forma manual) y compare si esta gramática acepta o no el mismo lenguaje (cadenas). Justifique y demuestre su respuesta.
[ PASO A PASO ]
14. Con una cadena válida, genere un árbol de derivación para la gramática por la derecha y demuestre y justifique si la cadena y árbol generado puede ser ambigua o no.
[ PASO A PASO ]

Redes Sociales