¿Hay algún programa para dibujar y probar máquinas de estado, máquinas de turing, etc.?

Cuando regrese a la escuela después del Día de Acción de Gracias, tomaré un curso de Teoría de CS que cubrirá temas como máquinas de estado finito deterministas y no deterministas, máquinas de turing, autómatas pushdown y algunas otras cosas más. Sin embargo, no he encontrado una buena aplicación que pueda producir una representación visual de ellos, así como probar cómo funcionan (aprobado/reprobado, etc.). Lo mejor que he encontrado hasta ahora es jFlap, y me resulta bastante incómodo.¿Hay algún programa para dibujar y probar máquinas de estado, máquinas de turing, etc.?

Fuente

2008-10-13 Thomas Owens

No es un duplicado de esa pregunta. –

Usé un programa de máquina de estados finitos java cuando estaba en la universidad, pero no recuerdo cómo se llamaba. Estoy tratando de encontrarlo para ti. –

Sé que no es un duplicado, sino un resultado directo de esa pregunta. Es por eso que hice el emoticón. – Tomalak

Fue JFlap que utilicé en la universidad. No me pareció tan incómodo de usar, pero parece que puede haber cambiado desde entonces. Lo siento, no tengo una mejor respuesta para usted que eso.

Fuente

2008-10-13 18:22:38

Bueno, jFlap (tan incómodo como lo encuentro) podría ser lo mejor que hay y si quiero una aplicación, tendré que aprender a usarla. –

Un amigo mío usó látex para dibujarlas. Siempre preferí el lápiz y el papel.

Fuente

2008-10-13 18:25:19

IAR visualSTATE puede ser de su interés.

Fuente

2008-10-13 18:37:46 JesperE

Parece genial, pero no parece ser compatible con todos los diferentes tipos de autómatas, y cuesta dinero. Creo que algunas personas podrían estar interesadas en esto, pero no parece que sea bueno para mí. –

Estoy en una clase como esta en este momento. He encontrado que el papel y el lápiz son suficientes. No puedo asegurarlo, pero no creo que se requiera que dibujes autómatas que sean demasiado complicados de entender en una hoja de papel.

Fuente

2008-10-13 18:50:30 Claudiu

Eso es cierto, pero tengo un estilo de escritura desordenado, lo que hace que sea muy difícil escribir para entregar y probar. Aunque administro pruebas, confiar en eso para todo sería un dolor. Sin embargo, es algo que estoy considerando. –

¡Nunca subestimes la complejidad de un diagrama de estados reales! Aquí tenemos uno que necesita una fuente de 8 píxeles en una hoja A3. (Aunque debería ser modulizado un poco ...) – xtofl

Los dibujé en UML y envié las exportaciones de StarUML jpeg por un tiempo.

Luego escribí un script PHP para convertirlos al formato DOT y utilicé Graphviz para obtener máquinas de aspecto agradable.

Fuente

2008-10-13 19:02:37 aib

Me olvidé de DOT y Graphviz. Esa es una opción que debería estudiar, pero no permite probar las máquinas, tendría que hacerlo a mano. –

Sí. Como fue suficiente para mí probarlo a mano, nunca llegué a modificar la secuencia de comandos para probar la máquina también. Graphviz produce fotos bonitas, sin embargo :) – aib

Simulink Stateflow.

Exageración masiva, por supuesto.

Fuente

2008-10-13 19:27:11 XPav

¿Hay algún programa para dibujar y probar máquinas de estado, máquinas de turing, etc.?

Respuesta

Cuestiones relacionadas