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

Question

Cuando regrese a la escuela después del Día de Acción de Gracias, tomaré un curso de Teoría de CS que abarcará temas como máquinas de estados finitos deterministas y no deterministas, máquinas de Turing, autómatas pushdown y algunas otras cosas. Sin embargo, no he encontrado una buena aplicación que pueda producir una representación visual de ellos, así como probar cómo funcionan (pasar / fallar, etc.). Lo mejor que he encontrado hasta ahora es jFlap , y lo encuentro bastante incómodo.

Answer 1

Fue JFlap que utilicé en la universidad. No me pareció tan difícil de usar, pero parece que puede haber cambiado desde entonces. Lo siento, no tengo una mejor respuesta para ti que esa.

Answer 2

Un amigo mío usó Latex para dibujarlos. Siempre preferí lápiz y papel.

Answer 3

Estoy en una clase como esta ahora. He encontrado que el papel y el lápiz son suficientes. No puedo decirlo con certeza, pero no creo que se requiera dibujar autómatas que son demasiado complicados de entender en una hoja de papel.

Answer 4

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

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

Answer 5

Simulink Stateflow.

Exceso excesivo, por supuesto.

Answer 6

IAR visualSTATE puede ser de interés.