Ce projet contient des fonctions permettant de manipuler des mots, langages et automates finis.
pref,suf,fact,miroir: calculent respectivement les préfixes, suffixes, facteurs et miroir d'un mot
concatene,puis: calculent respectivement le produit de concaténation et la puissance d'un langagetousmots: génère tous les mots possibles sur un alphabet jusqu'à une longueur donnéedefauto: permet de définir un automate en entrée
Les fonctions suivantes permettent de :
- Lire un mot/lettre sur un automate
- Vérifier qu'un mot est accepté
- Calculer le langage accepté
- Vérifier la déterminisation, complétion, etc.
- Calculer des opérations sur les automates (produit, complement, intersection, difference)
- Manipuler les états, transitions, déterminiser, minimiser, etc.
Fonctions calculant les fermetures des langages acceptés par des automates :
- Préfixes
- Suffixes
- Facteurs
- Miroirs
Enfin, le code contient plusieurs exemples d'utilisation de ces fonctions sur des automates simples.