Some concepts for languages more powerful than context-free

Abstract

Some new restrictive devices for grammars are introduced: standard control-sets, G-control-sets, checking state grammars, besides the wellknown ones: matrix-sets, regular control-sets, programs. All these concepts turn out to be equivalent with respect to their generative power. So we get further characterizations of the class of recursively enumerable sets. The generative power of context-freelabel-grammars and Chomsky-grammars both with these restrictive devices is found to be equal. New characterizations of the unconditional-transfer programmed-grammars are introduced, namely unconditional-transfer programs correspond to all the other devices mentioned above under so-called “full-checking possibility” — i.e. the whole set of labels is the checking-set.

Zusammenfassung

Einige neue ableitungseinschränkende Hilfsmittel für Grammatiken werden eingeführt: Standard-Kontrollmengen, G-Kontrollmengen, eine Erweiterung der Zustandsgrammatiken, außer den schon bekannten wie: Marixmengen, reguläre Kontrollmengen, Programme. All diese Hilfsmittel erweisen sich bezüglich ihrer Erzeugungskraft als äquivalent. So erhält man weitere Charakterisierungen der rekursiv aufzählbaren Mengen und einiger Teilklassen. Die Erzeugungskraft von kontextfreienNamengrammatiken und Chomskygrammatiken stellt sich bezüglich dieser einschränkenden Hilfsmittel als gleich heraus. Neue Charakterisierungen der „unconditional-transfer” programmierten Grammatiken werden eingeführt: nämlich „unconditional-transfer” Programme entsprechen den oben aufgezählten Hilfsmitteln bei der sogenannten „full checking possibility” — d. h. die gesamte Namenmenge dient als „checking”-Menge.