Lehrveranstaltung im Sommersemester 2007

Formale Sprachen: DNA Computing

Kurs im Informatik-Hauptstudium

(VAK 03-05-H-603.01, 4 SWS, ECTS: 6)

Die Silizium-Technologie ist nahezu ausgereizt, wenn es um weitere Beschleunigung der Rechengeschwindigkeit und Miniaturisierung von Prozessoren und Datenspeichern geht. Als zukünftige Alternative bietet sich der "Computer im Reagenzglas" an, bei dem Berechnungen als chemische Reaktionen ablaufen sollen. Als geeigneter molekularer Träger für diese Grundidee gilt die DNA, da ihre chemischen Reaktionen nicht nur wie bei anderen Molekülen mit massiver Parallelität ablaufen, sondern die Rekombination eindeutig festgelegt ist, so dass Kopieren schnell geht und viel Suchaufwand entfällt. In der Lehrveranstaltung DNA Computing, die auf dem gleichnamigen Buch von Paun, Rozenberg und Salomaa (Springer 1998) beruht, werden die theoretischen Grundlagen dieser potentiellen neuen Rechnertechnologie erarbeitet. Der Gegenstand der Lehrveranstaltungen ist neben einer Einführung in die Grundelemente der Gentechnik eine moderne, allerdings nicht ganz einfache Variante der Theorie formaler Sprachen.

[Modulbereich Theorie]

Kategorie: V; Voraussetzungen: Inhalte von 601.01 und 601.02

Termine:
- Mi. 15:15 - 16:45 im MZH 5210
- Do. 8:30 - 10:00 im MZH 5210

Übungsblätter
- Blatt 1 (pdf) Abgabe bis 24.5.2007
- Blatt 2 (pdf) Abgabe bis 14.6.2007
- Blatt 3 (pdf) Abgabe bis 5.7.2007
- Blatt 4 (pdf) Abgabe bis 20.07.2007
Folien (nur für den internen Gebrauch)
- gentechnische Grundlagen

Folien
- Splicing-Systeme

Arbeitsmaterialien


	Research Group Theoretical Computer Science
	Lehrveranstaltung im Sommersemester 2007 Formale Sprachen: DNA Computing Kurs im Informatik-Hauptstudium (VAK 03-05-H-603.01, 4 SWS, ECTS: 6) Die Silizium-Technologie ist nahezu ausgereizt, wenn es um weitere Beschleunigung der Rechengeschwindigkeit und Miniaturisierung von Prozessoren und Datenspeichern geht. Als zukünftige Alternative bietet sich der "Computer im Reagenzglas" an, bei dem Berechnungen als chemische Reaktionen ablaufen sollen. Als geeigneter molekularer Träger für diese Grundidee gilt die DNA, da ihre chemischen Reaktionen nicht nur wie bei anderen Molekülen mit massiver Parallelität ablaufen, sondern die Rekombination eindeutig festgelegt ist, so dass Kopieren schnell geht und viel Suchaufwand entfällt. In der Lehrveranstaltung DNA Computing, die auf dem gleichnamigen Buch von Paun, Rozenberg und Salomaa (Springer 1998) beruht, werden die theoretischen Grundlagen dieser potentiellen neuen Rechnertechnologie erarbeitet. Der Gegenstand der Lehrveranstaltungen ist neben einer Einführung in die Grundelemente der Gentechnik eine moderne, allerdings nicht ganz einfache Variante der Theorie formaler Sprachen. [Modulbereich Theorie] Kategorie: V; Voraussetzungen: Inhalte von 601.01 und 601.02 Termine: Mi. 15:15 - 16:45 im MZH 5210 Do. 8:30 - 10:00 im MZH 5210 Übungsblätter Blatt 1 (pdf) Abgabe bis 24.5.2007 Blatt 2 (pdf) Abgabe bis 14.6.2007 Blatt 3 (pdf) Abgabe bis 5.7.2007 Blatt 4 (pdf) Abgabe bis 20.07.2007 Folien (nur für den internen Gebrauch) gentechnische Grundlagen Kursversion Sammlung Fig. 1.1 - 1.37 Sammlung von Bildern Folien Splicing-Systeme Arbeitsmaterialien Adleman-Lab: Prototyp eines DNA-Computers Stickersysteme Stickersysteme: ein Beispiel Einseitige Sticker-Sprachen sind regulär Sticker-Systeme: Die Twin-Shuffle-Sprache Insertion-Deletion-Systeme Beispiel eines Insertion-Deletion-Systems Splicing mit regulären Regelmengen Splicing mit linearen Sprachen	Mail Address University of Bremen Dept. for Math. & Computer Science P.O. Box 330 440 28334 Bremen Germany Physical Address Linzer Strasse 9a OAS 3002 28359 Bremen Phone ++49(421)218 64450 Fax ++49 (421) 218 4322 Email (Secr.) Helga Reinermann helga@tzi.de
		© / 26.03.09