Skip to content

Ce code permet de lire un automate à partir d'un fichier .dot puis applique l'algorithme de determinisation et le stocker dans un autre fichier ensuite faire la minimisation et tester si un mot apartient a l'automate

License

Notifications You must be signed in to change notification settings

ZakariaAitAli/Automate

Repository files navigation

Automate

Dans le cadre du projet academique du module théorie de language . on a crée un code qui permet de lire à partir d'un fichier .dot un automate puis on utilisant ce qu'on a étudié on applique l'algorithme de determinisation et on le stocker dans un autre fichier ensuite pour faire la minimisation de l'automate et à la fin on va testé l'automate minimisé on donnant un mot et avoir la reponse si il apartient au language décrit par l'automate ou non.

About

Ce code permet de lire un automate à partir d'un fichier .dot puis applique l'algorithme de determinisation et le stocker dans un autre fichier ensuite faire la minimisation et tester si un mot apartient a l'automate

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages