703603 VO Formal Language and Automata Theory

winter semester 2021/2022 | Last update: 22.07.2021 | Place course on memo list

Department:

Department of Computer Science

Instructor:

Univ.-Prof. Dr. Georg Moser, +43 512 507 53213

Course number:

703603

Title:

VO Formal Language and Automata Theory

Type/hours:

VO 2

ECTS credits:

Period:

not applicable

Mode of repetition:

not applicable

Language of instruction:

English

Learning Outcome:

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.

Contents:

Finite automata; regular expressions; context-free grammars; pushdown automata; Turing machines; undecidability.

Methods:

Lecture, assessment is based on a single examination at the end of the course.

Assessment:

written exam

eLearning shares:

eLecture (100% virtual teaching)

Remarks:

This course is provided within 703302 VO Automata and Logic. Please register for 703302.

Link:

https://www.uibk.ac.at/informatik/studium/master

allocated to study field

Faculty of Mathematics, Computer Science and Physics

Master's Programme Computer Science according to the Curriculum 2007 (120 ECTS-Credits, 4 semesters)

First and Second Semester

Compulsory Module 2: Formal Language and Automata Theory (5 ECTS-Credits, 3 h)

Sustainable development goals

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.