Регулярные грамматики

Может кто-то может подсказать ссылку или просто привести в форуме
доказательство или алгоритм эквивалентности регулярных грамматик

Пока на собственное сообщение не было ответов, его можно удалить.

Заголовок: