Automata Theory (WS 2025/26)
Table of Content
Content
This course provides an introduction to automata theory and its applications. Topics include regular languages, finite automata, minimization techniques, operations on sets and relations, pattern matching, logic-based specifications, and Presburger arithmetic. Emphasis is placed on algorithmic techniques and their use in representing and manipulating formal languages.Administrative Information
Previous Knowledge
nonePrerequisites Curriculum
See position in the curriculumObjective
The learning goals for the "Automata Theory: An Algorithmic Approach" book include understanding the core automata classes (DFAs, NFAs, and ε-transitions), mastering conversion and minimization algorithms, and applying set operations like union and intersection on automata. Key goals also include implementing pattern matching, using automata for relation operations, optimizing finite set representations, verifying program safety, and exploring logical frameworks like first-order and monadic-second-order logic. Additionally, students will learn Presburger arithmetic for defining sets of natural numbers and compute automata for logical formulas.Language
EnglishTeaching Method
How to get a grade
Registration
https://online.tugraz.at/tug_online/ee/rest/pages/slc.tm.cp/course-registration/589118Lecture Dates
| Date | Begin | End | Location | Event | Type | Comment |
|---|---|---|---|---|---|---|
| 2025/10/07 | 14:00 | 16:00 | HS i13 | Abhaltung | VO | fix/Replacement for P1 (only on 7th Oct.!) |
| 2025/10/14 | 16:15 | 18:15 | HS P1 | Abhaltung | VO | fix/ |
| 2025/10/21 | 16:15 | 18:15 | HS P1 | Abhaltung | VO | fix/ |
| 2025/10/28 | 16:15 | 18:15 | HS P1 | Abhaltung | VO | fix/ |
| 2025/11/04 | 16:15 | 18:15 | HS P1 | Abhaltung | VO | fix/ |
| 2025/11/11 | 16:15 | 18:15 | HS P1 | Abhaltung | VO | fix/ |
| 2025/11/18 | 16:15 | 18:15 | HS P1 | Abhaltung | VO | fix/ |
| 2025/11/25 | 16:15 | 18:15 | HS P1 | Abhaltung | VO | fix/ |
| 2025/12/02 | 16:15 | 18:15 | HS P1 | Abhaltung | VO | fix/ |
| 2025/12/09 | 16:30 | 18:30 | HS P1 | Abhaltung | VO | fix/ |
| 2025/12/16 | 16:15 | 18:15 | HS P1 | Abhaltung | VO | fix/ |
| 2026/01/13 | 15:45 | 17:45 | HS P1 | Abhaltung | VO | fix/ |
| 2026/01/20 | 16:15 | 18:15 | HS P1 | Abhaltung | VO | fix/ |
| 2026/01/27 | 16:30 | 18:30 | HS P1 | Abhaltung | VO | fix/ |
Lecturers
Bloem
Professor