Illustrationsbild für den Virtuellen Studienplatz

Lehrveranstaltung 01657 (WiSe 17/18)

 
01657 Grundlagen der Theoretischen Informatik A im Wintersemester 2017/2018
Hinweis Das Semester dieser Veranstaltung ist beendet.
grundlegende Überarbeitung: Wintersemester 2016/2017 Umfang: 2.0 SWS
Übungsumfang: 1.0 SWS nächster geplanter Einsatz: -keine Angaben vorhanden-
Versionen Autorinnen und Autoren
Teilnahmevoraussetzungen Beschreibung
Schließen
Beschreibung
KursbeschreibungIn diesem Kurs werden die Grundlagen für das Arbeiten mit formalen Berechnungsmodellen gelegt. Es werden hierzu formale Sprachen auf Grundlage der Chomsky Hierarchie untersucht. Zu jeder Klasse in der Chomsky Hierarchie wird ein abgeleitetes Berechnungsmodell vorgestellt und diskutiert (Endlicher Automat, Kellerautomat, Turingmaschine). In diesem Zusammenhang werden unter anderem folgende Themen behandelt: Minimierung Endlicher Automaten, Überführung von Regulären Ausdrücken, Äquivalenz von kontextfreien Grammatiken und Kellerautomaten, Beweis und Anwendung des Pumpinglemmas (regulär und kontextfrei), Wortproblem für kontextfreie Sprachen, und anderes.
Für folgende Informatik-Studiengänge vorgesehen: B
Termine
Veranstaltungsbeginn: 02.10.2017
Versand
Material
Einstieg
Betreuung
Betreuende Liste der Campus Standorte bzw. Studienzentren
Zusatzveranstaltungen
Hinweis Die zu dieser Lehrveranstaltung angebotenen Zusatzveranstaltungen werden Teilnehmern nach dem Login angezeigt.

Irrtümer und nachträgliche Datenänderungen vorbehalten.


Seite erstellt in 0,5s  |  29.4.24,23:52 im Sommersemester 2024  |  realisiert durch das LVU-System
FernUni-Logo FernUniversität in Hagen, 58084 Hagen, Telefon: +49 2331 987-01, E-Mail: fernuni@fernuni-hagen.de