Information on individual educational components (ECTS-Course descriptions) per semester

  
Degree programme:Master Computer Science
Type of degree:FH Master´s Degree Programme
 Full-time
 Winter Semester 2024
  

Course unit titleFormal Methods
Course unit code024913010103
Language of instructionGerman
Type of course unit (compulsory, optional)Elective
Semester when the course unit is deliveredWinter Semester 2024
Teaching hours per week2
Year of study2024
Level of course unit (e.g. first, second or third cycle)Second Cycle (Master)
Number of ECTS credits allocated4
Name of lecturer(s)Michael SEYFRIED


Prerequisites and co-requisites

None

Course content

As part of this course, students acquire basic knowledge in the field of formal languages. This includes the different language classes (Chomsky hierarchy), equivalences and recognition systems (automata).

  • Formal grammars and transformations
  • Equivalences, decision problems
  • Detection systems (machine types, Turing machines)
  • Deterministic grammars
Learning outcomes

The students

  • understand the fundamental importance of theoretical computer science for solving problems with the help of computers.
  • can classify formal languages in the Chomsky hierarchy and know their meaning.
  • know the essential results and algorithms with regard to the decision problems for formal languages.
Planned learning activities and teaching methods

Lecture and seminar with homework

Assessment methods and criteria

Evaluation of homework 30%

Final written exam 70%

For a positive grade, a minimum of 50% of the possible points must be achieved across all parts of the examination.

Comment

None

Recommended or required reading

Script

Hopcroft, John E.; Motwani, Rajeev; Ullman, Jeffrey D. (2011): Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit. 3rd Edition. München: Pearson Studium.
Mode of delivery (face-to-face, distance learning)

Face-to-face event with recording of the lecture

Winter Semester 2024go Top