Dość nietrywialny problem.
O ile porównanie plików tekstowych jest szeroko znane, to jak jest z
gramatykami zdefiniowanymi przez rozszerzone produkcje EBNF, takie ze
znakami + (1 i więcej razy potarzaj) czy * (0 i więcej razy potarzaj) ?
Przy porównywaniu ma nie zważać na kolejność reguł ani na kolejność
produkcji w regule. Tak samo na nazwy nieterminalne.
Trochę co innego niż stwierdzenie, że dwie gramatyki generują taki sam
język, bo nie tylko tak trzeba porównać, ale i wskazać różnice, na
szczęście dla większych zmian generujących ten sam język (na przykład
eliminacja rekurencji, łączenie reguł) można stwierdzać różnice, było by
to nawet wskazane, byle by szybko "łapać synchronizację".
Co takiego aby można było stwierdzić jakie różnice są w różnych plikach
gramatyk dla tego samego języka, Pascala,Javy, C,itd.. a także porównać
np. definicje C i C++ - jakie podobieństwa i jakie różnice, a także Javy
i C# itp.(to ostatnie oznacza że musiałby być w pewnym stopniu ślepy
również na symbole terminalne generujące inne języki, byle by mógł
wyłapać różnice w strukturze i filozofii języka - ale to trudniejszy
warunek niż porównywanie dla tego samego języka)