Automat As
Automat As
Automat As
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.
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
2.2. VENTAJAS
2.3. DESVENTAJAS
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.
3.2 VENTAJAS
3.3 DESVENTAJAS
4. LA HERRAMIENTA DE THOTH
4.1 DESCRIPCION
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.