Art der Veröffentlichung: |
Technischer Bericht |
Autor: |
Drewes, Frank, Hoffmann, Berthold, Janssens, Dirk, Minas, Mark |
Titel: |
Adaptive Star Grammars and Their Languages |
Ausgabe: |
2008-01 |
Erscheinungsjahr: |
2008 |
Institution: |
Departement Wiskunde-Informatica, Universiteit Antwerpen |
Typ: |
Technical Report |
Abstract / Kurzbeschreibung: |
Motivated by applications that require mechanisms for describing the
structure of object-oriented programs, adaptive star grammars are
introduced, and their fundamental properties are studied. In adaptive star
grammars, rules are actually schemata which, via the cloning of so-called
multiple nodes, may adapt to potentially infinitely many contexts when they
are applied. This mechanism makes adaptive star grammars more powerful than
context-free graph grammars. Nevertheless, they turn out to be restricted
enough to share some of the basic characteristics of context-free devices.
In particular, the underlying substitution operator enjoys associativity and
confluence properties quite similar to those of context-free graph grammars,
and the membership problem for adaptive star grammars is decidable.
|
PDF Version: |
http://www.informatik.uni-bremen.de/~hof/papers/asgl.pdf |
Schlagworte: |
graph grammar language adaptive star |
Status: |
Other |
Letzte Aktualisierung: |
25. 08. 2009 |
|
|