В Dragon Book Ахо-Ульмана смотрели?

Из более теоретических работ можно посмотреть Хопкрофт, Мотвани, Ульман "Введение в теорию автоматов, языков и вычислений". (http://natahaus.ifolder.ru/354087) Вот эта ещё книжка есть - Рейуорд, Смит "Теория формальных языков":http://natahaus.ifolder.ru/307174.

Посмотрел у себя несколько работ по теории языков - там вопрос преобразования грамматик обойдён стороной