Formale Sprachen: Graphtransformation

i. d. R. angeboten alle 2 Jahre

• Grundideen und Prinzipien der regelbasierten Graphtransformation verstehen und erläutern können.
• Im methodischen Zusammenhang mit regelbasierter Graphtransformation formale Sprachen erzeugen, erkennen und modellieren können sowie ihre strukturellen und entscheidbarkeitstheoretischen Eigenschaften nachvollziehen und beweisen können.
• Selbständig regelbasierte Methoden zur Graphtransformation anwenden, unterscheiden und erklären sowie die Beweise von in diesem Zusammenhang interessierenden Eigenschaften durchführen können.

1. Graph-Grammatiken und ihre erzeugten Graphsprachen
2. Theorie kontextfreier Graphsprachen
3. Graphtransformationseinheiten und Interleaving-Semantik
4. Parallelität und Nebenläufigkeit
5. Eine graphtransformatorische Sicht auf die Klasse NP
6. Modelltransformation als Graphtransformation

• H.-J. Kreowski: Graphtransformation, Skript
• G. Rozenberg: Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1, World Scientific, 1997
• H.-J. Kreowski, R. Klempien-Hinrichs, S. Kuske: Some Essentials of Graph Transformation, in Z. Esik, C. Martin-Vide, V. Mitrana: Recent Advances in Formal Languages and Applications, Studies in Computational Intelligence 25, 229-254, Springer, 2006.
• H.-J. Kreowski, S. Kuske, G. Rozenberg: Graph Transformation Units - An Overview, in Pierpaolo Degano, Rocco De Nicola, José Meseguer: Concurrency, Graphs and Models, Lecture Notes in Computer Science 5065, 57-75, Springer, 2008.