Formalsprachliche Modelle biologischer Prozesse

Wintersemester 2010/11



Lehrbeauftragte: Prof. Dr. Jürgen Dassow, Dr. Bianca Truthe
Semester: Hauptstudium
Wochenstunden: 4+0+0
Zuhörerkreis: IF;i, IF;M, DKE;M, CMA;B
Voraussetzungen: Grundlagen der Theoretischen Informatik
Prüfung bzw. Scheinerwerb: jeweils durch eine mündliche Prüfung von 20 - 30 Minuten

Inhalt:

Lindenmayer-Systeme als Modell für die Entwicklung niederer Lebewesen wie Algen, Farne, Moose; Modellierung von Veränderungen bei DNA-Molekülen, Chromosomen usw. (z.B. Splicing) als Operationen auf Wörtern; P-Systeme als Modell für die Entwicklung einzelner Zellen.
Im Mittelpunkt stehen die Untersuchung der Erzeugungskraft der Systeme bzw. Operationen, z.B. parallel arbeitende Lindenmayer-Systeme versus sequentielle Grammatiken, und einige spezielle interessante Sachverhalte, z.B. Wachstumsfunktionen und Adlemans Idee eines Computers auf der Basis molekularer Veränderungen.

Scriptum:

Folien:

Informationen:

Stundenplan laut Univis


Zurück zur Lehreseite der Forschungsgruppe Theoretische Informatik

Webmaster