Edición de Autómatas Finitos


La ventana de edición de autómatas finitos es accesible desde el menú principal por medio de las opciones Autómatas -> Finito y alguna de las opciones dadas en el submenú emergente de acuerdo al tipo de autómata que se desee crear. Con el uso de Minerva se pueden editar autómatas finitos determinísticos y no determinísticos, con transiciones vacías, traductores determinísticos y no determinísticos. Luego de efectuar esta acción aparecerá un diálogo con dos opciones que permite optar entre la edición de un autómata previamente grabado en un archivo y la creación de uno nuevo.

Si se presiona el botón  se abrirá un diálogo en donde se puede seleccionar el archivo que se desea abrir. Si, en cambio, se presiona sobre el botón  se abrirá un diálogo en donde se debe ingresar el nombre del nuevo archivo que se desea crear.

Cuando se presiona sobre el botón aceptar se abre una ventana en donde se puede crear el autómata nuevo.


Conceptos Teóricos