Allgemeine Informationen
| Veranstaltungsname | Vorlesung: 2.01.402 Graphersetzungssysteme |
| Untertitel | inf402 |
| Veranstaltungsnummer | 2.01.402 |
| Semester | SoSe2018 |
| Aktuelle Anzahl der Teilnehmenden | 3 |
| erwartete Teilnehmendenanzahl | 10 |
| Heimat-Einrichtung | Department für Informatik |
| Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
| Erster Termin | Freitag, 13.04.2018 13:00 - 16:00, Ort: (A03 2-214) |
| Art/Form | V + Ü |
| Voraussetzungen | Theoretische Informatik II |
| Lernorganisation | Blockseminar |
| Lehrsprache | deutsch |
| Sonstiges |
Die LV f¨uhrt in die Modellierung von Systemen und Systemver ¨anderungen mit Hilfe von Graphen und Graphersetzungsregeln ein. Die zugrundeliegenden Strukturen in der LV sind Graphen; sie werden in praktisch allen Bereichen der Informatik benutzt, um komplexe Strukturen darzustellen. Einige Beispiele hierf¨ur sind Flussdiagramme, Schaltbilder, Record-Strukturen, Syntaxb¨aume sowie funktionale und logische Ausdr¨ucke. Derartige Strukturen lassen sich durch Graphersetzungssysteme dynamisch ver¨andern, indem die Regeln schrittweise auf die aktuelle Struktur angewendet werden. In der LV werden Eigenschaften von Graphersetzungssystemen (z.B. Umkehrbarkeit, Einbettbarkeit und Restriktion von Ableitungen, sequentielle und parallele Unabh¨angigkeit, Termination und Konfluenz) untersucht. |
