back to search

Automata and Formal Languages

IN2041Elective Modules Informatics8 ECTSEnglishwinter semesterDepartment Computer Science
AI-edited module sheet. Based on the TUMonline module description, edited for readability.Original in TUMonline

What it is about

You learn how different classes of automata (finite, deterministic, nondeterministic, Büchi automata) are used as data structures for the representation and manipulation of (also infinite) sets and relations. You practice building and composing automata, automatic operations (e.g., boolean operations, joins) and the connection between automata and logic as well as their application in pattern matching, program verification and in problems such as Diophantine equations.

What you will be able to do

  • Use finite automata as a data structure for finite and infinite sets
  • Assess the complexity of various operations for different classes of automata
  • Translate between logical and automata-theoretic descriptions
  • Apply automata methods to pattern matching and formal verification

What the module consists of

  • VorlesungConveying the theory, introduction of algorithms and application areas; interactive short exercises during the lecture
  • TutoriumDiscussion and review of the weekly exercises

Teaching method

  • Lecture with online short tasksguides learners step by step through the content and reinforces knowledge through active participation
  • Weekly written assignmentsallow for deeper practice, their solutions are discussed in the tutorials
  • Tool demonstrationsshow practical implementation and application of the algorithms

Dates

Lecture with exerciseAutomaten und formale Sprachen (IN2041)3 groups to choose from

  • ATue10:30–12:3000.04.011, MI Hörsaal 2 (5604.EG.011)
    14× · 13.10.–02.02.
    • 13.10.
    • 20.10.
    • 27.10.
    • 03.11.
    • 17.11.
    • 24.11.
    • 01.12.
    • 08.12.
    • 15.12.
    • 22.12.
    • 12.01.
    • 19.01.
    • 26.01.
    • 02.02.
  • BThu14:00–16:0002.13.010, Seminarraum (5613.02.010)
    14× · 15.10.–04.02.
    • 15.10.
    • 22.10.
    • 29.10.
    • 05.11.
    • 12.11.
    • 19.11.
    • 26.11.
    • 10.12.
    • 17.12.
    • 07.01.
    • 14.01.
    • 21.01.
    • 28.01.
    • 04.02.
  • CWed08:00–10:0000.5901.051, Hörsaal (5901.EG.051)
    15× · 14.10.–03.02.
    • 14.10.
    • 21.10.
    • 28.10.
    • 04.11.
    • 11.11.
    • 18.11.
    • 25.11.
    • 02.12.
    • 09.12.
    • 16.12.
    • 23.12.
    • 13.01.
    • 20.01.
    • 27.01.
    • 03.02.

From the current semester, not binding. You attend one of several groups; the timetable automatically suggests the one with the fewest clashes.

Module ratings

No ratings for this module yet.

Rate this module

Only fill in the categories you can judge – for each one, either stars and text together or nothing at all.

Lecture
Tutorial
Exam

Official page in TUMonline · Details are not binding.