Ce projet est une application C++ développée avec Qt permettant de manipuler des automates finis. L'objectif est d'implémenter et visualiser différentes opérations classiques de théorie des langages formels.
- Vérifier si un mot est accepté par un automate
- Trouver l'intersection de deux automates
- Calculer le complémentaire d’un automate
- Déterminiser un automate (NFA → DFA)
- Minimiser un automate
- Tester l’accessibilité des états
- Charger des automates
- Visualisation basique via l’interface Qt
Ce travail s'inscrit dans un module universitaire de Théorie des Langages et Automates, visant à manipuler des concepts tels que :
- Automates finis (AF / DFA)
- Automates non-déterministes (AFN / NFA)
- Langages réguliers
- Complémentarité
- Déterminisation
- Minimisation
- Reconnaissance de mots
- Langage : C++
- Framework : Qt
- IDE : Qt Creator
- Paradigme : Algorithmique + programmation orientée objet