Некие подробности тут:
http://valexey.blogspot.com/2010/05/blog-post.html

Совсем кратко: построили граф нетерминалов (и их связей) для синтаксиса Оберона-2.

PS. Почему-то картинка с собственно графом сюда не заливается. Впрочем, она в блоге есть.