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