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