Тут недавно по поводу Оберона челюсти крушили Так же была отдельная разборка на тему о грамматиках и их представлениях — в частности по поводу формы Бэкуса-Наура — БНФ. Случайно увидел книжку здесь где каждый желающий сможет познакомится с тем, что это такое. Там так же довольно много интересного по поводу компиляторов и связанных с ними вещей.
В общем — надеюсь она окажется полезной для Вас.