- Treffer 1 von 1
Contributions to the syntactical analysis beyond context-freeness
Beiträge zur syntaktischen Analyse nicht-kontextfreier Sprachen
- Parsability approaches of several grammar formalisms generating also non-context-free languages are explored. Chomsky grammars, Lindenmayer systems, grammars with controlled derivations, and grammar systems are treated. Formal properties of these mechanisms are investigated, when they are used as language acceptors. Furthermore, cooperating distributed grammar systems are restricted so that efficient deterministic parsing without backtracking becomes possible. For this class of grammar systems, the parsing algorithm is presented and the feature of leftmost derivations is investigated in detail.
- Ansätze zum Parsing verschiedener Grammatikformalismen, die auch nicht-kontextfreie Sprachen erzeugen können, werden diskutiert. Chomsky-Grammatiken, Lindenmayer-Systeme, Grammatiken mit gesteuerten Ersetzungen und Grammatiksysteme werden behandelt. Formale Eigenschaften dieser Mechanismen als Akzeptoren von Sprachen werden untersucht. Weiterhin werden kooperierende verteilte (CD) Grammatiksysteme derart beschränkt, dass effizientes deterministisches Parsing ohne Backtracking möglich ist. Für diese Klasse von Grammatiksystemen wird der Parsingalgorithmus vorgestellt und die Rolle von Linksableitungen wird detailliert betrachtet.
Verfasserangaben: | Henning BordihnORCiD |
---|---|
URN: | urn:nbn:de:kobv:517-opus-59719 |
Betreuer*in(nen): | Helmut Jürgensen |
Publikationstyp: | Habilitation |
Sprache: | Englisch |
Erscheinungsjahr: | 2011 |
Veröffentlichende Institution: | Universität Potsdam |
Datum der Abschlussprüfung: | 23.03.2012 |
Datum der Freischaltung: | 19.06.2012 |
Freies Schlagwort / Tag: | Akzeptierende Grammatiken; Gesteuerte Ableitungen; Grammatiksysteme; Linksableitungen; Parsing Accepting Grammars; Controlled Derivations; Grammar Systems; Leftmost Derivations; Parsing |
RVK - Regensburger Verbundklassifikation: | ST 306 |
RVK - Regensburger Verbundklassifikation: | ES 940 |
Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Lizenz (Deutsch): | Keine öffentliche Lizenz: Unter Urheberrechtsschutz |
Externe Anmerkung: | CCS-Klassifikation: F.4.2 Gram |