Tools for grammar engineering
Gregor Erbach · 1992
We describe a tool for the development and verification of broad-coverage grammars that are to be used for both analysis and generation, Such a tool is used to ensure that the coverage of the grammar is sufficient (in logical terms the completeness of the grammar) and to control overgeneration (the correctness of the grammar).