Proseminar: Ersetzungssysteme und Grammatiken
|
|
|
|
Veranstaltungsnummer: 18.056
Titel: Proseminar: Ersetzungssysteme und Grammatiken
Veranstalter: Berndt Farwer, Manfred Kudlek
Ort und Zeit: Mo 14-16 C-101
Lernziel: Betrachtung von Ersetzungssystemen, Kalkülen und Grammatiken. Lesen, Verstehen, Darstellen (Vortragen) und (schriftliches) Ausarbeiten eines theoretischen Artikels.
Inhalt:
- Historischer Überblick
- Logische Kalküle
- Ersetzungssysteme (Post'sche Kanonische Systeme, Semi Thue-Systeme, Post'sche Normale Systeme)
- Chomsky-Grammatiken
- Indexgrammatiken
- Parallele Ersetzungssysteme (Lindenmayer-, Indisch parallele Systeme)
- Klassifizierung der Ersetzungssysteme
- Relationale Darstellung
- Eigenschaften spezieller Ersetzungssysteme
Stellung im Studienplan: Grundstudium
Voraussetzung: Grundwissen der Informatik und Mathematik
Vorgehen: Seminar mit Vorträgen und kurzen Ausarbeitungen
Periodizität: unregelmäßig
Bemerkungen: Für LehrerInnen / NebenfächlerInnen geeignet.
