703603 VO Formal Language and Automata Theory
winter semester 2021/2022 | Last update: 22.07.2021 | Place course on memo list703603
VO Formal Language and Automata Theory
VO 2
3
not applicable
not applicable
English
Students who have completed this module should understand the topics covered in the lecture, and be able to express and apply them. They should be able to independently acquire similar knowledge and have a basic understanding of formal languages and the methods of automata theory.
Finite automata; regular expressions; context-free grammars; pushdown automata; Turing machines; undecidability.
Lecture, assessment is based on a single examination at the end of the course.
written exam
This course is provided within 703302 VO Automata and Logic. Please register for 703302.
- Faculty of Mathematics, Computer Science and Physics
- SDG 4 - Quality education: Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all.
- SDG 9 - Industry, Innovation, and Infrastructure: Build resilient infrastructure, promote inclusive and sustainable industrialization, and foster innovation.