703604 PS 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:

703604

Title:

PS Formal Language and Automata Theory

Type/hours:

PS 1

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:

Continuous assessment (based on regular written and/or oral contribution by participants).

Assessment:

Course examination according to § 7, statute section on "study-law regulations"

eLearning shares:

eLecture (100% virtual teaching)

Remarks:

This course is provided within 703303 PS Automata and Logic. Please register for 703303.

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.