Formale Sprachen

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

Wirtschaftsinformatik-Ansicht

Formal Languages

Modulnummer

Bachelor

Pflicht/Wahl
Winf-Schwerpunkt-Pflicht
Winf-Schwerpunkt-Wahlpflicht
Wahl

Schwerpunkt

Anzahl der SWS

V	UE	K	S	Prak.	Proj.	∑
0	0	4	0	0	0	4

Kreditpunkte : 6

Turnus

unregelmäßig

Formale Voraussetzungen : -

Inhaltliche Voraussetzungen : Theoretische Informatik 1, Theoretische Informatik 2

Vorgesehenes Semester : ab 1. Semester

Sprache : Deutsch

Ziele :

Grundideen und Prinzipien formaler Sprachen verstehen und erläutern können.
Im methodischen Zusammenhang 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.

Inhalte :

Die konkreten Inhalte sind abhängig von der gewählten Inhaltsalternative. Derzeit vornehmlich im Angebot:

Unterlagen (Skripte, Literatur, Programme usw.) :

abhängig vom konkreten Inhalt

Form der Prüfung : i.d.R. Bearbeitung von Übungsaufgaben und Fachgespräch oder mündliche Prüfung

Arbeitsaufwand

Präsenz	56
Übungsbetrieb/Prüfungsvorbereitung	124
Summe	180 h

Lehrende: Dr. B. Hoffmann, Dr. K. Hölscher, u.a.

Verantwortlich Dr. S. Kuske