Giessener Elektronische Bibliothek

GEB - Giessener Elektronische Bibliothek

Hinweis zum Urheberrecht

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:hebis:26-opus-53930
URL: http://geb.uni-giessen.de/geb/volltexte/2008/5393/


Formalsprachliche Aspekte von XML

Formal properties of XML

Wendlandt, Matthias


pdf-Format: Dokument 1.pdf (1.726 KB)

Bookmark bei Connotea Bookmark bei del.icio.us
Freie Schlagwörter (Deutsch): XML , Abschlusseigenschaften , Dyck , Entscheidbarkeit , Hierarchie
Freie Schlagwörter (Englisch): XML , closure properties , Dyck , decideability , hierarchy
Universität Justus-Liebig-Universität Gießen
Institut: Institut für Informatik
Fachgebiet: Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Dissertation
Sprache: Deutsch
Tag der mündlichen Prüfung: 25.01.2008
Erstellungsjahr: 2008
Publikationsdatum: 11.02.2008
Kurzfassung auf Deutsch: Die Dissertation befasst sich mit XML artigen Grammatiken. Dabei werden Abschlusseigenschaften, Entscheidbarkeitsfragen und die Einordnung in die Chomsky Hierarchie von den XML Grammatiken, den einfachen balanacierten Grammatiken, den konkurrenzverhindernden balancierten Grammatiken, den RegDyck Grammatiken und den balancierten Grammatiken untersucht.
Kurzfassung auf Englisch: XML-like grammars are an abstraction of XML description systems
which have the aim to structure the content of XML documents. There
are a lot of different types of XML description systems used in practice:
DTD, XML schema, TREX, RELAX NG,... They can be translated
into grammars which are called XML-like grammars. The XML description
systems which are used in practice can be classified in three
different grammar types: balanced grammars, XML
grammars and single-type balanced grammars. The motivation
for studying these grammars is twofold: first from the theoretical
view, they relate to three other types of grammars which are studied
in the past: parenthesis grammars, bracketed grammars and Chomsky-Schützenberger grammars. Second there
is a practical requirement to study these grammars. The closure properties
as well as the decision problems are important for XML software
products and the classification in relation to the Chomsky Hierarchy
could be important for parsers and parser generators. Besides it could
be necessary to search for new XML-like grammars, which have better
closure properties or have more decision problems which are decidable
or rather are more efficient to parse. The restrained competition balanced
grammars and the RegDyck grammars are two new
ones.