| Course title | Selected Topics of Automata Theory |
|---|---|
| Course code | KMI/PGSVK |
| Organizational form of instruction | Lecture |
| Level of course | Doctoral |
| Year of study | not specified |
| Semester | Winter and summer |
| Number of ECTS credits | 5 |
| Language of instruction | Czech, English |
| Status of course | unspecified |
| Form of instruction | Face-to-face |
| Work placements | This is not an internship |
| Recommended optional programme components | None |
| Lecturer(s) |
|---|
|
| Course content |
|
The focus of this course is on a deeper understanding of the basic notions of automata theory, and on advanced concepts and techniques. It will cover selected topics of automata theory, including, among others: - Tree automata - Omega automata - Weighted and timed automata - Transducers - Algebraic theory of automata
|
| Learning activities and teaching methods |
| unspecified |
| Learning outcomes |
|
The students will acquire advanced notions and techniques of automata theory.
1. Knowledge Describe and demonstrate a comprehensive understanding of the principles and methods of formal modeling. |
| Prerequisites |
|
unspecified
|
| Assessment methods and criteria |
|
unspecified
|
| Recommended literature |
|
| Study plans that include the course |
| Faculty | Study plan (Version) | Category of Branch/Specialization | Recommended semester |
|---|