Знает ли кто, что-нибудь о проектах по представлению грамматики языков в XML?

Как известно, языки программирования имеют грамматику (теория учит, что есть по крайней мере два типа грамматик БНФ и не БНФ).
Вопрос, как описывать ее в XML и что с ней дальше делать. Мне бы, например, хотелось бы:
1) Представлять (pretty-printed) грамматики публикациях (tex, html или хотя бы в виде картинки);
2) Проверять эквивалентность грамматик. Как известно, один и тот же язык можно описать разными грамматиками;
3) Проверять, соответствует ли программа языку, с заданной грамматикой;
4) Трансформировать программу на языке, с заданной грамматикой G1 в программу, с заданной грамматикой G2 (указав правила трансформации).


Есть ли такие проекты?


С уважением,
Андрей