Visual Automata Simulator

Descripción de Visual Automata Simulator

Produce dos tipos de archivos

Introducción del automata al simulador

autómatas de estados finitos;

y asociados a Máquinas de Turing.

para ello se siguen los pasos siguientes

Creación y simulación

1. Una vez es abierto el ejecutable (vas.jar), el simulador preguntará que tipo de archivo crear, en este

caso, puesto que se pretende simular 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

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

), una vez es hecho

esto aparecerá una ventana

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

Paso 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 es empleado 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 manera gráfica de la siguiente forma:

Una vez introducimos el diagrama del autómata podemos iniciar con su simulación, la cual puede ser realizada paso a paso (en modo debug) o de forma rápida, para lo cual se emplea la opción Run. Antes de iniciar la simulación debemos especificar la cadena de entrada del autómata en el campo “String”, ubicado en la esquina superior derecha de la ventana, que en este caso se definirá como “aaabc”

Definiciòn de transiciones

. 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 del mouse 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 diagrama

Para realizar el proceso de simulación paso a paso de forma manual, empleamos la opción “Debug One Step” del menú Run (ver Figura 15). Mediante esta opción el simulador nos muestra cada uno de los estados y transiciones por los que atraviesa el autómata con la cadena de entrada especificada, la diferencia con la opción anterior consiste en que el simulador solo lee el siguiente carácter de la cadena de entrada cuando oprimimos nuevamente la opción “Debug One Step”

. 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 estado 1. Aparecerá una ventana como la mostrada

en la que se nos pide introducir la etiqueta asociada a la nueva transición, que en este caso será “a”.

. Introducimos las transiciones restantes siguiendo el procedimiento explicado en el paso anterior, para el caso de las transiciones que conducen al mismo 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

Para realizar una simulación rápida, empleamos el botón Run que se encuentra al lado derecho del campo String (ver Figura 12), al hacer esto, el simulador desplegará una ventana en donde se informa si la cadena de entrada fue aceptada o no por el autómata, en este caso, la cadena es rechazada. Si modificamos la cadena de entrada por “bbaaaa” y nuevamente damos click sobre el botón “Run” que aparece al lado del campo String, el simulador desplegará una ventana en donde se nos informa que la cadena fue aceptada por el autómata

Visual Automata Simulator

Based on Jim Harvey's speech structures