Edición
de Autómatas de Pila
La ventana de edición
de autómatas de pila es accesible desde el menú principal
por medio de las opciones
Autómatas -> Pila 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
de pila
determinísticos
y no determinísticos,
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