Formale Sprachen: DNA Computing

Modulhandbuch Modulliste (Bachelor) - Modulliste (Master) - Modulkataloge - Personalisierter Modulkatalog - Impressum - Feedback Login mit OpenID

Digitale Medien-Ansicht

Modulnummer
Modulbezeichnung	Formale Sprachen: DNA Computing
Titel (englisch)	Formal Languages: DNA Computing
Pflicht/Wahl	Pflicht
Erklärung
CP	6
Berechnung des Workloads
Turnus	i. d. R. angeboten alle 2 Jahre
Dauer	ein Semester
Form	4 SWS K
Prüfung	i. d. R. Bearbeitung von Übungsaufgaben und Fachgespräch oder mündliche Prüfung
Anforderungen	Theoretische Informatik 1, Theoretische Informatik 2
Lernziele	Grundideen und Prinzipien von DNA Computing verstehen und erläutern können. Im methodischen Zusammenhang mit DNA Computing formale Sprachen modellieren und erzeugen können sowie strukturelle und entscheidbarkeitstheoretische Eigenschaften von grammatikalischen Systemen und Automatenmodellen verstehen und nachweisen können. Komplexe Reduktionen zwischen Sprachklassen und die zugehörigen Korrektheitsbeweise nachvollziehen und durchführen können.
Lerninhalte	Grundlagen von DNA Computing Spracherzeugung durch Sticker-Systeme, Insertion/Deletion-Systeme sowie Splicing-Systeme, extendierte Splicing-Systeme und Splicing-Systeme mit Iteration Methoden des Sprachklassenvergleichs mit besonderer Berücksichtigung der rekursiven Aufzählbarkeit
Quellen	G. Paun, G. Rozenberg, A. Salomaa: DNA Computing, Springer, 1998
Sprache	Deutsch
Bemerkung
Zuletzt geändert	2015-10-01 12:38:44 UTC