Minerva

Minerva es una herramienta interactiva y visual, implementada en Java, que

soporta la creacin de distintos tipos de autmatas (finitos, de pila y mquinas
de Turing), gramticas y la comprobacin de resultados. Fue diseada para
asistir al alumno en un curso introductorio de Ciencias de la Computacin
implementado en el primer ao de la carrera de Ingeniera de Sistemas de la
Universidad Nacional del Centro de la Provincia de Buenos Aires.

Ventajas:

0 decidir la pertenencia de una cadena a un lenguaje reconocido por un

autmata

1 decidir si una cadena puede ser generada por una gramtica

2 generar cadenas que pertenecen al lenguaje representado por una

gramtica

3 realizar comprobaciones de resultados al aplicar AF, AP, AMT

4 aplicar el Lema Pumping a lenguajes regulares

5 comprobar que un lenguaje no es regular a partir del Lema Pumping

DESVENTAJAS:

6 el traso de la linea de un estado a otra es muy inperfecto.

7 en algunas ocaciones el atributo para realizar una trancicion se

sobreescribe sobre otro.

8 la interfas realizada en un sola linea causa un poco de

descomprencion(sobre todo si se usa por primera ves).

9 la transision hacia el mismo esta en ocaciones no se nota.

10 cuando ocurre una sobre escripcion no hay forma de mover la linea.

11 en ocaciones cuando seleccionas una linea se selecciona otra.

dk.brics.automaton
El paquete dk.brics.automaton es desarrollado por Anders Mller en la
Universidad de Aarhus, con contribuciones, sugerencias e informes de errores
de Alexandr Bakic, Jodi Moran, Brandon Lee, David Lutterkort, John Gibson,
Alex Meyer, Daniel Lowe, Harald Zauner y Dawid Weiss , Robert Muir, Hans-
Martin Adorf, Dale Richardson, Yannick Versley y Gustaf Lundh.
VENTAJAS:

12 Autmata de estado finito con operaciones de expresin regular.

13 Una herramienta que realiza operaciones de coincidencia en una

secuencia de caracteres dada utilizando un autmata compilado.

14 Construccin de autmatas bsicos.

15 Operaciones bsicas de autmatas.

16 Autmatos bsicos para representar tipos de datos comunes relacionados

con Unicode, XML y XML Schema.
 17 Operaciones para minimizar los autmatas.

18 Autmata de estado finito con funcionamiento rpido.

19 Operaciones especiales de autmatas.

20 Operaciones para construir autmatas deterministas mnimos a partir de

conjuntos de cadenas.

21 lo mejor que viene preinstalaso en la distribucion fedora de linux.

DESVENTAJAS:

22 los estados graficos solo finitos.

23 se necesita IDE como netbeans para poder usarlo.

24 no tiene su propia interfas grafica.

25 nesesita otras aplicaciones para graficar el automata.

26 nesesitas generar codigo y copiarlo a otro programa.

27 son un poco complicacados la creacion de automatas.

28 nesitas compilar una y otra ves para genera un nuevo automata.

29 para cambiar un atributo necesitas compilarlo de nuevo.

30 para realizar cualquier cambio nesesitar compilarlo de nuevo y copiar lo

compilado a otro programa de nuevo.

31 es una libreria.
PROYECTO SEPa (software de enseansa y parsing)
En este proyecto nos proponemos disear, desarrollar y evaluar un conjunto de
herramientas de software que ayude al docente en la enseanza de las teoras y
tecnologas involucradas en los procesos de diseo y construccin de
traductores de lenguajes formales. Estas aplicaciones tienen como objetivo
facilitarle al estudiante el aprendizaje autnomo de conceptos y procedimientos
que implican cierta complejidad, ya que el software brindar feedback visual
inmediato de las abstracciones y operaciones fundamentales de los algoritmos
utilizados por los traductores para el reconocimiento de lenguajes formales.

VENTAJAS:
32 muy venneficioso para los docente de automatas.
33 uno de los mejores porque ademas de contener funciones basicar como
graficar un automata finito (trae funciones aun mas complejas)
34 genera una ventana para cada proyecto nuevo que deseas crear o abrir.
35 se puede algunas lineas de teoria dentro de la aplicacion.
36 tiene dos verciones (KAKUY y CHALCHALERO)
37 cuando se corre un determinado automata la interfas es muy
comprensible.
38 al graficar tienes la opcion de distinguir las linea con colores diferentes
para cada una de ellas.
DESVENTAJAS:
39 apesar de que el programa es muy bueno la pantalla principal no es muy
intuitiva.
40 tiene varias funciones en la barra de herramientas pero ala ves dificultan
la busqueda de una funcion.
41 en su version chalchalero con funciones variadas al otro es muy
complicado hacer algun automata simple (cuando recien empiesas a usar
el programa).
42 se usan alguno simbolos que en muchas ocasiones uno no conoce.
43 cuando se abren ventanas para hacer diferente funciones son iguales y
no hay nada que muestre q son distintos solo los botones.
44 algunos graficos un poco incomprencibles por el usuario por no tener
referencia de puntos obtenidos.

TALFI

TALFi dispone de una base de datos con diversos ejemplos de autmatas, la

cual puede ser ampliada por el usuario con nuevos autmatas creados por l
mismo. Adems la aplicacin posee una base de datos con ejercicios que
tambin puede ser extendida, pero en este caso slo por el administrador.

TALFi es una aplicacin cuyo objetivo es ser una herramienta para el

aprendizaje y el uso de diversos algoritmos aplicados al tratamiento de
autmatas. Con TALFi podemos crear autmatas y ver sus transformaciones en
otros autmatas, gracias a los diferentes algoritmos que se pueden aplicar sobre
ellos. Es una herramienta de fcil uso, capaz de ser usada en un terminal o bajo
una interfaz grfica. La aplicacin se puede ejecutar bajo previa instalacin en
un equipo o va internet.

VENTAJAS:

45 la interfas grafica es sumamente muy buena.

46 los graficos realisados son claros y se entienden perfectamente.

47 tiene entrada para tablas y luego leerlas en el automata creado.

48 ayuda a estudiantes en temas trados a lenguajes formales y automatas.

49 aperas de que la base de datos ya es inmensa le da la opcion a usuario

para proponer algun automata distinto ala base de datos real.

50 la instalacion es opcional.

51 tienes la opcion de acceso a esta herramienta mediante una pagina web.

52 una herramienta de uso sencillo.

53 transformacion de automatas en otras equivalentes.

54 la facilidad de uso en un terminal.

DESVENTAJAS:

55 la extencion de la base de datos en la categoria de ejercicios solo es

extencible por el administrador.

56 la aplicacion es buena para personas que estan iniciando pero no para

expertos.

57 no lleva todas las funcionalidades como las mencionadas en Proyecto

SEPa.

58 el programa esta basado en JFLAP parecido a una copia barata.

59 ala ves intenta competir contra el original JFLAP.

THOTH

una herramienta para el aprendizaje de la teora de autmatas y lenguajes

formales, escrita en Java, y por tanto multiplataforma. La versin previa de Thoth
estaba principalmente centrada en los lenguajes regulares y los autmatas
finitos, aunque inclua tambin alguna funcionalidad relacionada con los
lenguajes independientes del contexto y la generacin de tablas de anlisis
descendente.

VENTAJAS:

60 facilita el aprendizaje del concepto de gramatica.

61 aprendizaje de expresiones regulares.

62 aprendizaje de automatas finitos.

63 el aprendizaje de las maquinas de turing.

64 como tambien el aprendizaje de automatas de pilas.

65 el las ultimas actualizaciones se ha n interesado mas en aplicar

funcionalidades para el tema de expreciones regulares.

66 incluye la libreria JGraphs.

67 tienes la posibilidad de generar un documento PDF.

 68 en el PDF genera se muestra paso a paso la secuencia de las
configuraciones.

69 tienes la opcion de imprimirlo para muestra de otras presentaciones.

DESVENTAJAS:

70 apesar de que han mejorado la funcionalidad en el aspecto de

expresiones regulares, no lo hacen de la misma forma para los otros
temas.

71 la aplicacion apesar de ser acualizada sigue teniendo bugs en algunas

ocaciones.

72 el la ultima actualizacion a habido un rediseo por completo de la interfaz,

que desconserta alos usuarios que disponian de la version anterior al
actual.

73 la graphica de los automas es muy bueno pero en ocaciones causa una

desconformidad.con el trasado de lineas.

74 para un iniciado se pueden ver tantos cuadros a llenar qur confund ene
algunas cosas.