Teclas Rápidas


Minerva permite el acceso a las diferentes ventanas de edición, operaciones y ayuda por medio del uso de las telcas rápidas que se listan a continuación:

En el menú principal
Con las teclas función se puede acceder a:
F1: Ventana de ayuda
F2: Edición de un autómata finito determinístico
F3: Edición de un autómata finito no determinístico
F4: Edición de un autómata finito no determinístico con transiciones vacías
F5: Edición de un autómata finito traductor determinístico
F6: Edición de un autómata finito traductor no determinístico
F7: Edición de un autómata de pila determinístico
F8: Edición de un autómata de pila no determinístico
F9: Edición de un autómata de pila traductor determinístico
F10: Edición de un autómata de pila traductor no determinístico
F11: Edición de una máquina de Turing determinística
F12: Edición de una máquina de Turing no determinística

Con una combinación de teclas utilizando CTRL se puede acceder a:
CTRL-E: Edición de una expresión regular
CTRL-R: Edición de una gramática regular
CTRL-L: Edición de una gramática libre del contexto
CTRL-S: Edición de una gramática sensible al contexto
CTRL-A: Aplicación del lema de Pumping en lenguajes regulares
CTRL-P: Prueba de lenguajes no regulares utilizando el lema de Pumping

Con una combinación de teclas utilizando ALT se puede acceder a:

En todas las ventanas
Alt+A: Abrir archivo
Alt+N: Nuevo archivo
Alt+G: Guardar archivo
Alt+Y: Ayuda
Alt+S: Salir
Alt+I: Imprimir

En las ventanas de edición de autómatas y expresiones regulares
Alt+M: Agregar símbolos

En las ventanas de edición de autómatas finitos y expresiones regulares
Alt+F: Obtener el autómata finito equivalente

En las ventanas de edición de autómatas
Alt+R: Reconocer cadenas

En las ventanas de edición de autómatas finitos
Alt+O: Obtener gramática regular
Alt+X: Obtener expresión regular

En las ventanas de edición de autómatas con diagramas de transición de estados
Alt+E: Expandir área trabajo
Alt+C: Contraer área trabajo

En la ventana de edición de máquinas de Turing
Alt+E: Definir los estados
Alt+C: Agrega una cinta
Alt+Q: Quita una cinta

En el diálogo de reconocimiento de cadenas
Alt+R: Reconocer
Alt+P: Reconocer por pasos
Alt+D: Detener el reconocimiento

En el diálogo de opción entre abrir un archivo o crear uno nuevo
Alt+N: Nuevo archivo
Alt+A: Abrir archivo

En el diálogo de ingreso de transiciones
Alt+A: Agrega una transición
Alt+E: Elimina una transición