#parsing #grammar #theory #regular-language #dfa
#разбор #грамматика #теория #обычный язык #dfa
Вопрос:
Для регулярного (ab) (xy)*a выражения я получил следующий минимальный dfa: 
Каков алгоритм преобразования этого в правильную линейную грамматику?
Комментарии:
1. Это просто перевод графического состояния в правила перехода, т. Е.
1 -gt; a2; 2 -gt; b3; 3 -gt; a4 / x5 / aE(возможно, было бы более ясно показать переход E в DFA). ИлиstateA -gt; (symbolX)(stateB) [..]для всех переходов состояний. Не уверен, есть ли конкретное «имя» для алгоритма.