Automates-Finis-Transformation-Minimisation

Ce projet vise à implémenter en C deux algorithmes fondamentaux de la théorie des automates : la transformation d’un automate fini non déterministe (AFN) en automate fini déterministe (AFD) et la minimisation d’un AFD. Il prend en entrée un fichier décrivant un automate et applique les algorithmes appropriés pour produire une version équivalente et optimisée. L’objectif est d’illustrer les concepts de déterminisation et de minimisation tout en assurant une gestion rigoureuse des états et des transitions. Ce projet s’inscrit dans le cadre du cours de Grammaires et Langages et met en pratique les principes des langages formels et des automates finis.