Я хочу разработать инструмент для построения графа переходов любого конечного автомата с учетом его таблицы переходов, начального состояния и конечного состояния, используя Lex и Yacc. Инструмент также должен предоставлять средство для проверки того, принята ли строка автоматом или нет.
Может ли кто-нибудь сказать мне, как это сделать.