Section: New Results

Comparing Context-free Grammars through test data

Equivalence of the languages generated by two different context-free grammars is undecidable, yet language equivalence is one of the most important quality aspects of context-free grammars for programming languages. Vadim Zaytsev introduced and experimentally validated a method based on differential analysis: generating sentences from both grammars and cross-testing them.