Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

• TGI
  • Homepage
  • Announcements
• People
  • Staff
  • Students
• Education
  • Education (German only)
  • Thesis (German only)
• Research
• Publications
• Service
  • Service
  • Tools
  • Petri Nets World
    

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.