TRABAJO ENCARGADO DE HERRAMIENTAS PARA LA SIMULACION DE AUTOMATAS:

1. LA HERRAMENTA DE MTSOLUTION
2.
2.1. DESCRIPCION
Es una herramienta similar a minerva, intentando agregar ms funcionalidad y mejorar
algunos detalles de la interfaz grfica. Est orientada, en una primera etapa a alumnos
de grado de la ctedra de ciencias de la computacin I, ya que permite desarrollar los
ejemplos que en la misma se plantean. Debe su nombre a que se trata de una
reduccin a Mquinas de Turing de todas las funcionalidades.

Si el usuario pide la ejecucin deber seguir los siguientes pasos:

El cliente enva la descripcin del autmata, junto con el contenido de la cinta de

entrada al motor.
El motor convierte el AP en una MT equivalente
Simula la ejecucin de la MT equivalente.
Genera un conjunto de transiciones de MT
Las transiciones del paso anterior se convierten a transiciones de AP.
Si el autmata era traductor, se recorren las transiciones acarreando la traduccin.
El servidor enva el resultado al cliente.

2.2. VENTAJAS
1. Es muy entendible es un entorno.
2. Contiene muchas herramientas la aplicacin.
3. Permite generar cadenas vlidas aplicando reglas al azar.
4. Es mucho mejor que el simulador minerva.
5. Tiene un control ms preciso.
6. Mayor rapidez de respuesta.
7. Facilidad de programacin.
8. Menos consumo de energa.
9. Menor tiempo de elaboracin de proyectos.
10. Seguridad en el proceso.
 2.3. DESVENTAJAS
1. Es un simulador que contiene muy poca informacin de su elaboracin.
2. Su entorno es algo no muy atractivo.
3. No se encuentra la aplicacin en la versin espaol.
4. Solo tiene de tipo Regular, Libre y Sensible al de su Contexto.
5. El diseo de la interfaz esta implementado una parte del framework.

3. LA HERRAMIENTA DE TALFI

2.1. DESCRIPCION

Esta herramienta de simulador esta implementado una herramienta visual, donde el

usuario puede interaccionar en una interfaz grfica, en donde se muestra todo el
potencial de la aplicacin tambin servirse de dicha herramienta para averiguar la
correccin o incorreccin de sus soluciones y la consola utilizar el enfoque UNIX ya que
es un estndar muy usado en la actualidad y conocido por todas las universidades del
mundo

2.2. VENTAJAS

1. TALFI dispone de una base de datos.

2. Puede ser usada en un equipo o va internet.
3. Es muy fcil su uso.
4. Es capaz de ser usada en un terminal o bajo una interfaz grfica.
5. Se puede cambiar de un idioma a otro dinmicamente en cualquier momento
durante el uso de la aplicacin.
6. Es sencilla en cuanto de su uso.
7. Tiene mucha funcionalidad en su parte grafica la cual es una ventaja.
8. Desarrolla todo tipo de autmatas.

2.3. DESVENTAJAS

1. No se conoce antecedente de la aplicacin.

 2. Conocer algunos conceptos tericos como matemticas, lgicas entre otros.
3. Contiene una regla de sintaxis.
4. Al tratar de un modelo matemtico se tiene un aislamiento total efectos externos.
5. No tiene muchas herramientas en la ventana principal.

3. LA HERRAMIENTA DE TAGS

3.1 DESCRIPCION

Agustn Esmoris y Carlos Ivn fueron los creadores de la herramienta del simulador de
TAGS, Chesevar Departamento de Ciencias e Ingeniera de la Computacin Universidad
Nacional del Sur en Baha Blanca Argentina.

TAGS es una aplicacin independiente que puede ser fcilmente instalada y ejecutada sobre
cualquier PC basada en el sistema operativo Windows. Al iniciarse TAGS, se pone a disposicin
del usuario una ventana de diseo sobre la cual puede dibujarse el grafo correspondiente a un
autmata a la derecha de esta ventana aparece una barra de herramientas de diseo,
ofreciendo conos para acceder directamente a diferentes opciones del programa.

Guardar un autmata en disco.

Cargar un autmata previamente guardado.
Agregar un nuevo estado al autmata actual.
Activar o desactivar el uso del sistema de voz (speech-engine).
Definir los alfabetos de entrada y salida.
Tomar una fotografa del autmata actual en cualquier etapa de ejecucin y
guardarla en disco usando el formato JPG

3.2 VENTAJAS

1. Es para cualquier sistema se usuario de Windows.

2. Provee un conjunto de prcticos atajos de teclado.
3. Se puede cambiar la apariencia del autmata fcilmente.
4. Eliminar un arco o estado simplemente seleccionndolo con el ratn y presionando
luego Delete en el teclado.
5. Ayude al estudiante a afrontar estas situaciones, haciendo sencilla y ms
motivadora la tarea de resolver ejercicios tpicos de teora de autmatas traductores.
 6. Proporciona una ilustracin sobre los principios involucrados y cmo son afectadas
las variables, cuando se manipula cada una de ellas.
7. Tiene ciertas caractersticas que lo hacen atractivo como herramienta pedaggica.
8. Es capaz de detectar un software de procesamiento de voz en el sistema operativo
donde se est corriendo el programa.
9. Propone cuatro vistas diferentes: vista de pila, cinta, traza y autmata.

3.3 DESVENTAJAS

1. Puede haber simuladores de Tags que no estn actualizados lo que el

alumno puede caer en errores.
2. Hay algunas fallas con las variables.
3. El programa es un poco lenta al iniciar.
4. No se puede cambiar su entorno.
5. Tiene muy pocas opciones en cada vista.

4. LA HERRAMIENTA DE THOTH

4.1 DESCRIPCION

THOTH una herramienta Universidad de Burgos. Espaa para el aprendizaje de la

teora de autmatas y lenguajes formales, escrita en Java, y por tanto multiplataforma
y est diseada para los estudiantes, Thoth se han implementado los siguientes tipos de
mquinas de Turing: binarias, multi cinta, multi cabeza, multi pista, cinta limitada, y
mquinas escribir/mover. Adems de estas nuevas funcionalidades, el interfaz de
usuario.

4.2 VENTAJAS
1. No tan fcil ni tan difcil de manejarlo.
2. Thoth ofrece una forma ms flexible de interaccionar con los elementos de
dibujo que las de JFLAP.
3.
4.
5.
6.
7.
8.

4.3 DESVENTAJAS
1.
2.
3.
4.
5.
5. LA HERRAMIENTA DE UPPAAL

5.1 DESCRIPCION
Uppaal es una herramienta de simulador para modelar, simular y verificar sistemas de
tiempo real, que est desarrollado en conjunto por las universidades de Uppsala y de
Aalborg (Suecia-Dinamarca).Uppaal es la nocin de autmata temporizado desarrollada
por Alur y Dill como una extensin del autmata clsico de estado finito con variables
de reloj, para ser facilitado el proceso de modelado., Uppaal se asume que un sistema
de tiempo real tpico es una red de procesos secuenciales no determinsticos que se
comunican el uno al otro sobre canales. Y tiene la herramienta de guardar, una accin
de sincronizacin, un nmero de resets de reloj y asignaciones.

5.2 VENTAJAS
1. Es ms fcil de comunicarse entre s se pueden usar Variables globales y
Canales.
2. El autmata esta temporizado con tipos ms generales de datos tales como
variables booleanas y enteras.
3. Este autmata se usa para estados finitos extendidos con relojes y variables
de datos para describir procesos y redes de tales autmatas para describir
sistemas de tiempo real.
4. En este modelo est compuesto por dos componentes A y B con estados XA
= {A0; A1; A2; A3} y XB = {B0; B1; B2; B3} y tambin se usan dos relojes X y Y,
una variable entera n y un canal a.
5.Los estados pueden decorarse con invariantes.
6. se comunican el uno al otro sobre canales.
7. Los canales nos permiten hacer la sincronizacin entre dos autmatas.
8. Tiene diferentes propiedades como: Posiblemente E<> p, Invariantemente
A[] p, Potencialmente siempre E[] p, entre otros.
9. Es algo sencillo de manejarlo la herramienta, y es muy til para los
estudiantes universitario.
10.Permte el ensayo de soluciones antes de la implementacin fsica.

6.3 DESVENTAJAS
1. Se usa en un tiempo real tpico es una red de procesos secuenciales no
determinsticos.
2. La ausencia de sincronizacin define un evento privado.
3. falta de precisin en el simulador.
4. Educativamente hablando, no se logra la misma experiencia que en un sistema real.
5. Se podra decir que es un poquito ms complicado de los dems simuladores.