Disambiguating grammars by exclusion of sub-parse trees
A method is presented for disambiguation of grammars, based on the idea of excluding certain forbidden sub-sparse trees. Combined with recent developments in the theory of parser generation for ambiguous grammars, the method disambiguates large classes of grammars guaranteeing that the generated language is unchanged.
scientific article; zbMATH DE number 814164