Existe-t-il des programmes permettant de dessiner et de tester des machines d'état, des machines de turing, etc.? [fermé]

Question

Lorsque je retournerai aux études après Thanksgiving, je suivrai un cours de théorie sur CS portant sur des sujets tels que les machines à états finis déterministes et non déterministes, les machines de Turing, les automates à pile et bien d'autres. Cependant, je n'ai pas trouvé de bonne application pouvant en produire une représentation visuelle et en tester le fonctionnement (réussite / échec, etc.). Le meilleur que j’ai trouvé jusqu’à présent est jFlap et je trouve cela plutôt gênant.

Answer 1

C’est JFlap que j'ai utilisé au collège. Je ne l'ai pas trouvé si difficile à utiliser, mais il semble que cela ait peut-être changé depuis. Désolé, je n'ai pas de meilleure réponse pour vous que cela.

Answer 2

Un de mes amis a utilisé Latex pour les dessiner. J'ai toujours préféré le crayon et le papier.

Answer 3

Je suis dans une classe comme ça en ce moment. J'ai trouvé du papier et un crayon suffisants. Je ne peux pas vous en assurer, mais je ne pense pas que vous deviez dessiner des automates trop compliqués à comprendre sur une seule feuille de papier.

Answer 4

Je les ai dessinés au format UML et ai soumis les exportations jpeg StarUML pendant un certain temps.

Ensuite, j'ai écrit un script PHP pour les convertir au format DOT et utilisé Graphviz pour obtenir de belles machines.

Answer 5

Simulink Stateflow.

Une surdose massive, bien sûr.

Answer 6

IAR visualSTATE pourrait présenter un intérêt.