Se pretende que Chalchalero! sea una herramienta orientada a la enseñanza y aprendizaje de los siguientes temas:
-
Autómatas: diagramas de transición. Su relación con las gramáticas.
-
Autómatas finitos: definición formal. Representación Matricial. Condición de determinismo. Autómatas finitos determinísticos, no determinísticos y de estados mínimos. Definiciones formales. Algoritmos de conversión: Construcción de subconjuntos.
-
Gramáticas regulares.
-
Analizadores lexicográficos: expresiones regulares, gramáticas regulares y autómatas finitos. Algoritmo de Thompson.
-
Autómatas de pila: definición formal. Determinismo en Autómatas de Pila.
-
Los autómatas y su relación con la Jerarquía de Chomsky.
-
Los compiladores como autómatas.
Entre las funcionalidades más importantes de Chalchalero! se encuentran:
-
Edición y análisis de gramáticas regulares, expresiones regulares, definiciones matriciales y diagramas de transición (con el Editor de Diagramas de Transición) de autómatas finitos.
-
Conversión de autómata finito no determinístico (AFND) en autómata finito determinístico (AFD).
-
Conversión de AFD en AFD de estados mínimos (AFDEM).
-
Obtención de expresiones regulares a partir de autómatas finitos o gramáticas regulares.
-
Obtención de autómatas finitos a partir de expresiones regulares o gramáticas regulares.
-
Obtención de gramáticas regulares a partir de autómatas finitos o expresiones regulares.
-
Visualización del diagrama de transición de los autómatas finitos.
-
Explicación paso a paso de algoritmos.
-
Análisis de las propiedades y comparación de lenguajes regulares.
-
Lema de Bombeo (pumping lemma).
-
Detección de ambigedad en gramáticas regulares.
