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 2023
  

Course unit titleFormal Methods
Course unit code024913010103
Language of instructionGerman
Type of course unit (compulsory, optional)Compulsory
Semester when the course unit is deliveredWinter Semester 2023
Teaching hours per week2
Year of study2023
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 40%

Final written exam 60%

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 2023go Top