Outil FSM en ligne

Cet outil modélise, valide et simule les automates finis (FSM). Il accepte un ensemble défini d'états, un alphabet d'entrée, un état initial et un ou plusieurs états d'acceptation. Les utilisateurs peuvent choisir entre un mode déterministe ou non déterministe et fournir une table de transitions ou des règles de transitions concises. Interne, l'automate est traité comme un graphe orienté étiqueté; la reachabilité, les vérifications de déterminisme et les tests d'acceptation de langage sont calculés automatiquement.
Pour les DFA, l'outil peut aussi minimiser la machine en utilisant des algorithmes standards et rapporter le nombre d'états et les transitions résultants. Pour les NFA, l'acceptation simulée est réalisée via la construction de sous-ensembles lorsque nécessaire. L'outil prend en charge les tâches courantes de conception d'automates : détecter les états inaccessibles, identifier les états morts et valider que toutes les transitions sont définies pour chaque symbole (là où nécessaire). Les options d'exportation permettent de partager la structure des transitions comme des données structurées pour l'intégration avec des outils en aval. Les cas d'utilisation incluent la validation de grammaire de protocole, la conception d'automates pour analyse lexicale et les démonstrations en classe de la théorie des automates. La valeur unique réside dans une analyse rapide et formelle avec des diagnostics et une minimisation optionnelle, sans code nécessaire, permettant aux enseignants et aux développeurs d'itérer les concepts et de vérifier l'acceptation du langage efficacement.