Lex и Yacc для конечных автоматов

Question

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

Может ли кто-нибудь сказать мне, как это сделать.

Answer 1

Это может быть полезно introduction. Внедрение DFA в lex, с исходным кодом и довольно подробными иллюстрациями.