Minerva
Minerva es una herramienta interactiva y visual, implementada en Java,
que soporta la creación de distintos tipos de autómatas (finitos,
de pila y máquinas de Turing), gramáticas y la comprobación
de resultados. Fue diseñada para asistir al alumno en un curso introductorio
de Ciencias de la Computación implementado en el primer año
de la carrera de Ingeniería de Sistemas de la Universidad Nacional
del Centro de la Provincia de Buenos Aires. En particular permite:
-
decidir la pertenencia de una cadena a un lenguaje reconocido por un autómata
-
decidir si una cadena puede ser generada por una gramática
-
generar cadenas que pertenecen al lenguaje representado por una gramática
-
realizar comprobaciones de resultados al aplicar los siguientes algoritmos
de conversión: AFND con transiciones vacías a AFND, AFND
a AFD, AFD a AFD con cantidad mínima de estados, AFD a expresión
regular, expresión regular a AFND, AFND a gramática regular,
gramática regular a AFND.
-
aplicar el Lema Pumping a lenguajes regulares
-
comprobar que un lenguaje no es regular a partir del Lema Pumping
Haga click aquí para bajar la herramienta Minerva.zip
Inicio