Lex et Yacc pour les automates finis

Question

Je veux développer un outil pour construire le graphe de transition de n'importe quel automate fini donné sa table de transition, état de départ et état final en utilisant Lex et Yacc. L'outil devrait également permettre de vérifier si une chaîne est acceptée par les automates ou non.

Quelqu'un peut-il me dire comment le faire.

Answer 1

Cela peut être utile introduction. Implémentation d'un DFA en lex, avec code source et illustrations assez détaillées.