La documentation

Vous trouverez la documentation sur les pages web des deux outils:

• pages de FSM
• page de Lextools (commandes)
• page de Lextools (syntaxe des expressions régulières)

Les commandes les plus utiles sont:

• FSM:
  • fsmclosure: calcule la clôture par concaténation (opérateur *) d'un automate
  • fsmcompile: compile un automate depuis un fichier texte. Le résultat est un fichier binaire au format fsm.
  • fsmconcat: concaténation de deux automates
  • fsmdeterminize: déterminisation d'un automate
  • fsmdifference: différence de deux automates
  • fsmdraw: exporte un automate du format fsm vers le format source dot.
  • fsmequiv: teste l'équivalence de deux automates.
  • fsminfo: affiche des informations plus ou moins compréhensibles sur un automate.
  • fsmintersect: intersection de deux automates.
  • fsmminimize: minimize un automate.
  • fsmprint: affiche un automate sous format texte.
  • fsmrmepsilon: élimine les transitions $\epsilon$ d'un automate.
  • fsmunion: union de deux automates.
• Lextools:
  • lexmakelab: compile un alphabet donné sous format texte.
  • lexcomplex: compile une expression régulière donnée dans un fichier texte.
  • lexcompre: compile une expression régulière donnée sur la ligne de commande.
  • lexfsmstrings: affiche les chaînes du langage (fonctionne seulement avec un automate acyclique).
• Graphviz:
  • dot: dessine un graphe à partir d'une description dans un format précis.