Deterministic grammars and grammar morphisms (Q1080666): Difference between revisions
From MaRDI portal
Latest revision as of 11:08, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Deterministic grammars and grammar morphisms |
scientific article |
Statements
Deterministic grammars and grammar morphisms (English)
0 references
1986
0 references
The paper deals (in a categorical approach) with the invariance problem of a given parsing property with respect to a given grammar transformation. For this purpose, a deterministic bottom-up parse step is characterized as categorical limit, which allows ''both, systematic grammar type definition and largely strategy-independent invariance proofs. The resulting abstract parsing property BU (Bottom Up), compared to the \(LR^ k\)-type, are the invariants studied in this paper.'' Results: a hierarchy of deterministic grammar classes, invariance conditions for transformations (language preserving grammar morphisms) and their inverses, the difference between BU- and \(LR^ k\)-grammars, etc.
0 references
invariance problem of a given parsing property
0 references
grammar transformation
0 references
deterministic bottom-up parse step
0 references
categorical limit
0 references
abstract parsing property
0 references
hierarchy of deterministic grammar classes
0 references
language preserving grammar morphisms
0 references