Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen
Zeige Informatik-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Digitale Medien-Format Pdf_icon Systems Engineering-Format Pdf_icon

Informatik-Ansicht

Formale Sprachen: Graphtransformation


Formal Languages: Graph Transformation
Modulnummer
MB-603.01/1
Master
Pflicht/Wahl
Wahl Basis Ergänzung
Sonderfall
Zugeordnet zu Masterprofil
Basis Ergänzung
Sicherheit und Qualität
KI, Kognition, Robotik
Digitale Medien und Interaktion
Modulbereich : Mathematik und Theoretische Informatik
Modulteilbereich : 603 Formale Sprachen
Anzahl der SWS
V UE K S Prak. Proj.
0 0 4 0 0 0 4
Kreditpunkte : 6 Turnus

i. d. R. angeboten alle 2 Jahre

Formale Voraussetzungen : -
Inhaltliche Voraussetzungen : Theoretische Informatik 1, Theoretische Informatik 2
Vorgesehenes Semester : ab 1. Semester
Sprache : Deutsch
Kommentar : Hierbei handelt es sich um eine der beiden Inhaltsalternativen des Moduls MB-603.01: Formale Sprachen.
Ziele :
  • 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.
Inhalte :
  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
Unterlagen (Skripte, Literatur, Programme usw.) :
  • 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.
Form der Prüfung : i.d.R. Bearbeitung von Übungsaufgaben und Fachgespräch oder mündliche Prüfung
Arbeitsaufwand
Präsenz 56
Übungsbetrieb/Prüfungsvorbereitung 124
Summe 180 h
Lehrende: Prof. Dr. H.-J. Kreowski Verantwortlich Prof. Dr. H.-J. Kreowski
Zurück

Zeige Informatik-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Digitale Medien-Format Pdf_icon Systems Engineering-Format Pdf_icon