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