Edición
de Máquinas de Turing
La ventana de edición
de máquinas de Turing es accesible desde el menú principal
por medio de las opciones
Autómatas -> Máquina de Turing
y
alguna de las opciones dadas en el submenú emergente de acuerdo
al tipo de máquina de Turing que se desee crear. Con el uso de Minerva
se pueden editar máquinas de Turing determinísticas
y no determinísticas.
Luego de efectuar esta acción aparecerá un diálogo
con dos opciones que permite optar entre la edición de una máquina
de Turing previamente grabada en un archivo y la creación de una
nueva.
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 la canridad de cintas que tendrá la nueva máquina
de Turing.
Una vez ingresado dicho número,
se debe presionar el botón Aceptar y 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 la
máquina de Turing nueva.
Conceptos
Teóricos