NFAGenerator - Non-deterministic Automaton
Générateur aléatoire d'automate accessibles possédant un unique état initial. Chaque transition (p,a,q) est tirée avec une probabilité p/n où n est le nombre d'états dans l'automate et p une constante fixée par l'utilisateur. L'algorithme renvoie ensuite la partie accessible de l'automate engendré. Une astuce utilisant la distribution de la taille de la partie accessible permet d'engendrer un automate plus grand de telle sorte que la taille moyenne de sa partie accessible soit celle souhaitée par l'utilisateur.
Auteur(s): Julien David
Disponibilité: index.php?lang=fr&generator=9
Références:
Tester le générateur