Manual Usuario Minerva


Minerva
Herramienta Didáctica para el curso
Ciencias de la Computación I





Manual del Usuario























FACULTAD DE CIENCIAS EXACTAS - UNIVERSIDAD NACIONAL DEL CENTRO

Diciembre 2001
Contenidos
Capítulo I: Instalación
Capítulo II: Ventanas de Edición
Autómatas 5
Autómatas finitos 5
Expresiones regulares 5
Autómatas finitosdeterminísticos y no determinísticos 6
Autómatas finitos no determinísticos con transiciones vacías 7
Autómatas finitos traductores 8
Autómatas de pila 8
Máquinas de Turing 8
Gramáticas 10
Gramáticas regulares 10
Gramáticas libres del contexto y sensibles al contexto 11
Lema Pumping 11
Aplicación en lenguajes regulares 11
Prueba de lenguajes no regulares 12
Capítulo III: Archivos
Abrir archivos 14Desde el exterior de una ventana de edición 14
Desde una ventana de edición 15
Guardar archivos 15
Capítulo IV: Impresión
Capítulo V: Edición de Expresiones Regulares
Ingreso de la expresión regular 18
Ingreso de los símbolos 19
Operaciones sobre la expresión regular editada 19
Obtención del autómata finito no determinístico con transiciones vacías 19
Capítulo VI: Edición de AutómatasAutómatas finitos 21
Ingreso de los estados 21
Ingreso de los símbolos de los alfabetos 22
Autómatas finitos determinísticos, no determinísticos y no determinísticos con transiciones vacías 22
Autómatas finitos traductores determinísticos y no determinísticos 23
Ingreso de las transiciones 24
Asociación de los símbolos a las transiciones 24
Autómatas finitos determinísticos, nodeterminísticos y no determinísticos con transiciones vacías 25
Autómatas finitos traductores determinísticos y no determinísticos 25
Operaciones sobre un autómata finito 26
Verificación de reconocimiento de cadenas 26
Obtención del autómata finito equivalente 27
Obtención de la expresión regular 28
Obtención de la gramática regular 28
Autómatas de pila 29
Ingreso de los estados 30
Ingreso de lossímbolos de los alfabetos 31
Autómatas de pila determinísticos y no determinísticos 31
Autómatas de pila traductores determinísticos y no determinísticos 31
Ingreso de las transiciones 31
Asociación de los símbolos a las transiciones 32
Autómatas de pila determinísticos y no determinísticos 32
Autómatas de pila traductores determinísticos y no determinísticos 33
Operaciones sobre un autómata depila 34
Máquinas de Turing 34
Definición del estado inicial y los estados finales 35
Incorporación de símbolos del alfabeto de entrada y los auxiliares 36
Operaciones sobre una máquina de Turing 36
Capítulo VII: Edición de Gramáticas
Ingreso de las reglas de producción 38
Operaciones sobre una gramática 39
Generación automática de cadenas 39
Verificación de si una cadena puede ser generadapor la gramática 40
Obtención del autómata finito 40
Capítulo VIII: Lema Pumping
Aplicación sobre lenguajes regulares 42
Modo de operación 42
Prueba de lenguajes no regulares 43
Modo de operación 43
Apéndice: Teclas Rápidas

Capítulo I: Instalación
Para instalar Minerva coloque el CD en su lectora y copie la carpeta Minerva que se encuentra en el directorio raíz del CD en su discorígido.
Para comenzar a utilizar Minerva ejecute el archivo Minerva.bat que se encuentra dentro de la carpeta copiada.

Capítulo II: Ventanas de Edición
En este capítulo usted podrá ver las diferentes ventanas de Minerva con el detalle de cada uno de sus componentes.
Como podrá observar, al ejecutar la aplicación se muestra un menú principal (Figura 1) en la parte superior de su pantalla en elcual podrá seleccionar las diferentes operaciones que Minerva le provee. En este capítulo verá las ventanas que surgen como resultado de la elección de cada uno de los diferentes ítems de dicho menú.

Autómatas
Al seleccionar el ítem Autómatas en el menú principal, usted podrá optar por la edición de cualquiera de los tres tipos de autómatas que se muestran en el submenú emergente (autómatas...