Generalized Overlap Resolvable Grammars, Languages, and Parsers.
Abstract
The class of GOR grammars admits epsilon-rules and includes a grammar for every deterministic language. It simple decision procedure yields pairs of problematic phrases, if the grammar is not GOR, or tables used to build a deterministic push-down parser vary rapidly. The parsing algorithm, based on one of Domolki, takes advantage of the architecture of binary computers by computing state transitions quickly with ligical operations. These computations can be used by a pre-processor to compute an actual state transition table, if desired. This extension yields a still faster parser which can be abandoned temporarily by reverting to the state computing algorithm at anytime, if the original grammer and relations need to be modified. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1972
- Accession Number
- AD0742909
Entities
People
- David Stephen Wise
Organizations
- University of Wisconsin–Madison