Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

• TGI
  • Heimatseite
  • Ankündigungen
• Personen
  • Mitarbeiterinnen und Mitarbeiter
  • Studentinnen und Studenten
• Lehre
  • Lehre
  • Abschlussarbeiten
• Forschung
• Publikationen
• 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.