automatas

Visual Automata Simulator

Este documento tiene como objetivo proporcionar una introducción para el uso del simulador VAS (Visual
Automata Simulator). En primera instancia, se describirá el uso del simulador para el caso de autómatas de
estados finitos, finalizando con Máquinas de Turing
Este simulador produce dos tipos de archivos: *.fa, asociados a autómatas de estados finitos; y *.tm,asociados a Máquinas de Turing. Cada archivo puede contener una o más máquinas de estados

1. Autómatas de estados finitos
1.1. Creación y simulación
Para crear un nuevo autómata de estados finitos en el simulador se deben seguir los siguientes pasos
básicos:
1. Una vez es abierto el ejecutable (vas.jar), el simulador preguntará que tipo de archivo crear, en este
caso, puesto que se pretendesimular el comportamiento de un autómata de estados finitos, se
elegirá la primera opción: Finite Automata Document (*.fa) (ver Figura 1). Una vez es hecho esto,
aparecerá la ventana mostrada en la Figura 2

Figura 1

Figura 2

2. El siguiente paso es crear el autómata, para ello serán utilizados los botones que aparecen en la
parte superior de la venta, debajo del menú. El botón esempleado para crear cada uno de los
estados asociados al autómata; mientras que el botón
es empleado para crear los arcos
asociados a cada una de las transiciones del autómata
A continuación se proporcionará un ejemplo en el que será creado y simulado un autómata paso a paso
Ejemplo 1.1. El autómata M=({0, 1},{a, b},{0},{0},{(0, a) →1, (0, b) →0, (1, a) →0, (1, b) →1}} es
representado de maneragráfica de la siguiente forma:
b

a

b

0

1

a
Figura 3

Para introducir este autómata en el simulador se deben seguir los siguientes pasos:
1. Se empieza por crear los dos estados del autómata: 0 y 1; para ello se debe oprimir el botón , y se
da un click sobre el área de trabajo (la zona en blanco de la ventana), una vez es hecho esto
aparecerá una ventana como la mostrada en laFigura 4, allí se pide proporcionar el nombre del
nuevo estado, que para este caso corresponde a 0. Con el nombre del nuevo estado introducido en
el área de texto, hacemos click en Aceptar, con lo que aparece un nuevo estado en el área de
trabajo. Repetimos este mismo procedimiento para crear el estado 1. De esta forma, el área de
trabajo de la ventana tendrá dos estados: 0 y 1 (ver Figura 5)Figura 4

Figura 5

2. Ahora se definirán las transiciones entre los estados creados, para ello se empleará el botón .
Empezaremos por la transición (0,a) →1, para lo cual damos un click sobre el botón , puesto que

esta transición va del estado 0 al estado 1, damos un click sobre el estado 0 y posteriormente sobre
el estado 1, con lo que aparece un arco que va del estado 0 al estado1. Aparecerá una ventana
como la mostrada en la Figura 6, en la que se nos pide introducir la etiqueta asociada a la nueva
transición, que en este caso será “a”. Se obtiene algo similar a lo que aparece en la Figura 7

Figura 6

Figura 7

3. Introducimos las transiciones restantes siguiendo el procedimiento explicado en el paso anterior,
para el caso de las transiciones que conducen almismo estado, como (0,b) →0 y (1,b) →1, damos
doble click sobre el estado de manera que se produzca un arco sobre el mismo estado. De esta
manera se obtiene un diagrama similar al de la Figura 8

Figura 8

4. Para definir los estados finales e iniciales del autómata, nos ubicamos sobre el estado que se
pretende definir como inicial (o como final) y damos un click con el botón derecho delmouse sobre
este, con lo que aparece un menú como el mostrado en la Figura 9. Si se va a definir un estado
inicial, seleccionamos la opción “Set as Start State”; si se va a definir un estado final, seleccionamos

la opción “Set as Accepted State”. Para el caso del ejemplo, el estado 0 corresponde al estado inicial
y final, al seguir el procedimiento explicado anteriormente se obtiene un...