Si les machines à états finis (déterministes ou non) (ADEF, AEFD, FSM, automates, NFA, ... appelez ça comme vous voulez) c'est votre truc, j'ai travaillé sur Aude (AUtomata DEmystifier) quand j'étais à l'Université Grenoble Alpes.
C'est un outil pédagogique pour manipuler les automates, à destination des étudiants et des enseignants dans ce genre de matière, et plus si affinité.
On peut dessiner des automates, exécuter des mots, transformer les automates avec des algos, et écrire des algos dans un petit langage appelé AudeScript qui essaie de se rapprocher du pseudo-code visuellement. Les automates sont générés visuellement et modifiables à la souris. Ça s'appuie sur GraphViz pour la génération des automates.
Démarré en 2012-2013. C'est vieux quand on y pense !
Faut que je répare le site d'ailleurs, il est cassé.
# Aude
Posté par raphj (site web personnel) . En réponse au lien xstate : la machine hé t'as fini ?. Évalué à 9. Dernière modification le 07 septembre 2021 à 17:05.
Si les machines à états finis (déterministes ou non) (ADEF, AEFD, FSM, automates, NFA, ... appelez ça comme vous voulez) c'est votre truc, j'ai travaillé sur Aude (AUtomata DEmystifier) quand j'étais à l'Université Grenoble Alpes.
C'est un outil pédagogique pour manipuler les automates, à destination des étudiants et des enseignants dans ce genre de matière, et plus si affinité.
On peut dessiner des automates, exécuter des mots, transformer les automates avec des algos, et écrire des algos dans un petit langage appelé AudeScript qui essaie de se rapprocher du pseudo-code visuellement. Les automates sont générés visuellement et modifiables à la souris. Ça s'appuie sur GraphViz pour la génération des automates.
Démarré en 2012-2013. C'est vieux quand on y pense !
Faut que je répare le site d'ailleurs, il est cassé.
Si le projet vous intéresse contactez-moi.