back to search

Automaten und formale Sprachen II

IN2042Cross-Cutting Elective Modules5 ECTSEnglishUnregelmäßigDepartment Computer Science
AI-edited module sheet. Based on the TUMonline module description, edited for readability.Original in TUMonline

What it is about

You study advanced topics of automata theory, e.g. tree automata, weighted automata and automata for the verification of infinite state spaces. In the end you will be able to choose appropriate automata models, construct automata and apply automata-theoretic techniques to problems such as text analysis or program verification.

What you will be able to do

  • Select automata models for given languages
  • Construct automata for given languages
  • Perform operations on automata and assess their complexity
  • Apply automata-theoretic methods to applications (e.g. text analysis, program verification/analysis)
  • Understand why automata are relevant beyond classical applications and what applications exist

What the module consists of

  • VorlesungConveying the theory; lectures also include small online exercises
  • Übungen / TutoriumWeekly tasks are issued and discussed in the tutorials

Teaching method

  • VorlesungIntroduction to concepts and solution methods; integration of small online tasks for active participation
  • Tutorium/ÜbungDiscussion and practice of the weekly tasks for deepening and applying
No dates in the current semester
There are no course dates for this module this semester, or they haven't been matched yet.

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

Reviews are automatically checked before they are published.

Official page in TUMonline · Details are not binding.