Existe algum programa para desenhar e máquinas de estado de teste, máquinas de Turing, etc? [fechadas]

Question

Quando eu voltar para a escola depois de Ação de Graças, eu vou estar fazendo um curso de Teoria CS abordando temas como máquinas deterministas e não deterministas finitos do estado, máquinas de Turing, autômatos pushdown e algumas outras coisas. No entanto, eu não encontrei uma boa aplicação que pode produzir uma representação visual deles, bem como testar como eles funcionam (aprovação / reprovação, etc). O melhor que eu encontrei até agora é jFlap , e eu estou achando um pouco estranho.

Answer 1

Foi JFlap que eu usei na faculdade. Eu não achei que complicado de usar, mas parece que ele pode ter mudado desde então. Desculpe eu não tenho uma resposta melhor para você do que isso.

Answer 2

Um amigo meu costumava Latex para desenhá-los. Eu sempre preferi lápis e papel.

Answer 3

Eu estou em uma classe como este agora. Eu encontrei papel e lápis para ser suficiente. Eu não posso dizer com certeza, mas eu não acho que você vai ser obrigado a desenhar autômatos que são muito complicado de entender em uma folha de papel.

Answer 4

Atraí-os em UML e submetidos exportações StarUML jpeg por um tempo.

Então eu escrevi um script PHP para convertê-los para o formato DOT e usado Graphviz para obter máquinas de aparência agradável.

Answer 5

Simulink Stateflow.

exagero maciça, é claro.

Answer 6

IAR VisualState pode ser do seu interesse.