A geometric hierarchy of languages
โ Scribed by Nabil A. Khabbaz
- Publisher
- Elsevier Science
- Year
- 1974
- Tongue
- English
- Weight
- 543 KB
- Volume
- 8
- Category
- Article
- ISSN
- 0022-0000
No coin nor oath required. For personal study only.
โฆ Synopsis
This paper proves the existence of a hierarchy of languages which is properly contained in the context sensitive languages and which starts with the context-free family. The hierarchy is defined inductively by controlling labeled linear grammars with languages in one family to yield languages in the next larger family. The families of the hierarchy have properties analogous to those of the context-free family, in particular decidability properties are the same and on one symbol alphabets, member languages are regular. The geometric pumping lemma within the context-free languages generalizes to yield analogous results for the other families. In fact, this latter property is responsible for the existence of the hierarchy.
๐ SIMILAR VOLUMES
Even though eNCE and its subclasses have been studied intensively, their inclusion relations are not completely known. This paper proves some unknown relations among eNCE families of graph languages which yield, together with other known relations, a solid hierarchy of graph languages that completel
An array is a two-dimensional generalization of a string. Both sides of each rewriting rule of an isotonic array grammar have the same shape. In this paper we complete the Chomsky hierarchy of isotonic array grammars by introducing isotonic context-free array grammars. We obtain Chomsky and Greibach