Display language
To modulepage Generate PDF

#40018 / #4

SS 2017 - WS 2019/20


Formale Sprachen und Automaten
Formal Languages and Automata


Nestmann, Uwe




Fakultät IV

Institut für Softwaretechnik und Theoretische Informatik

34351900 FG Modelle und Theorie Verteilter Systeme

No information


TEL 7-2

Nestmann, Uwe


Learning Outcomes

Successful participants of this module have learned the basics of mathematical and logical foundations of Theoretical Computer Science; they understand the distinction between syntax and semantics. They have acquired the ability of structured reasoning in the sense of carrying out simple mathematical proofs, and they are able to apply simple abstraction techniques to switch between propositions at different levels of abstraction. They master the treatment for formal languages with their counterparts of grammars, finite automata and push-down automata. They are able to solve respective work tasks alone and in small teams.


* sets, logical propositions, proof notation, proof techniques * relations, orders, maps, equivalences, quotients * words, languages, expressions * Chomsky-hierarchy * grammars, automata, push-down automata * non-determinism

Module Components


All Courses are mandatory.

Course NameTypeNumberCycleLanguageSWSVZ
Formale Sprachen und AutomatenVorlesungWiSeNo information2
Formale Sprachen und AutomatenÜbungWiSeNo information2

Workload and Credit Points

Formale Sprachen und Automaten (Vorlesung):

Workload descriptionMultiplierHoursTotal
No information15.03.0h45.0h
No information15.02.0h30.0h
75.0h(~3 LP)

Formale Sprachen und Automaten (Übung):

Workload descriptionMultiplierHoursTotal
No information15.02.0h30.0h
No information4.015.0h60.0h
90.0h(~3 LP)

Course-independent workload:

Workload descriptionMultiplierHoursTotal
No information2.07.5h15.0h
15.0h(~1 LP)
The Workload of the module sums up to 180.0 Hours. Therefore the module contains 6 Credits.

Description of Teaching and Learning Methods

No information

Requirements for participation and examination

Desirable prerequisites for participation in the courses:

No information

Mandatory requirements for the module test application:

This module has no requirements.

Module completion



Type of exam

Portfolio examination

Type of portfolio examination

100 Punkte insgesamt



Test elements

No information5writtenNo information
No information5writtenNo information
No information5writtenNo information
No information30flexibleNo information
No information5writtenNo information
No information50writtenNo information

Grading scale

Notenschlüssel »Notenschlüssel 1: Fak IV (1)«


Test description (Module completion)

No information

Duration of the Module

The following number of semesters is estimated for taking and completing the module:
1 Semester.

This module may be commenced in the following semesters:

Maximum Number of Participants

This module is not limited to a number of students.

Registration Procedures

No information

Recommended reading, Lecture notes

Lecture notes

Availability:  unavailable


Electronical lecture notes

Availability:  available



Recommended literature
No recommended literature given

Assigned Degree Programs

This module is used in the following Degree Programs (new System):

Studiengang / StuPOStuPOsVerwendungenErste VerwendungLetzte Verwendung
This module is not used in any degree program.

Students of other degrees can participate in this module without capacity testing.


No information