621.500 (12W) Introduction to Automata Theory, Languages, and Computation
Overview
- Lecturer
- Course title german Einführung in die Theoretische Informatik
- Type Lecture
- Hours per Week 2.0
- ECTS credits 2.0
- Registrations 96
- Organisational unit
- Language of instruction German
- Course begins on 02.10.2012
Time and place
List of events is loading...
Course Information
Course content
Topics
- Motivation und Präliminarien
- Registermaschinen
- Einband Turingmaschinen
- Deterministische und Nichtdeterministische Endliche Automaten
- Reguläre Sprachen
- Mehrband Turingmaschinen
- Nichtdeterministische Turingmaschinen
- Kontextfreie Sprachen
- Universelle Turingmaschinen
- Die These von Church
- (Primitiv) rekursive Funktionen
- Gödelisierung
- Entscheidbarkeit und Semi-Entscheidbarkeit
- Unberechenbarkeit
Link to further information
http://www.syssec.at/eti12Examination information
Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.
Grading scheme
Grade / Grade grading schemePosition in the curriculum
- Teacher training programme Computer Sciences and Computer Sciences Management (Secondary School Teacher Accreditation)
(SKZ: 884, Version: 04W.7)
-
Stage one
-
Subject: Mathematik und Theoretische Informatik (LI 1.2)
(Compulsory subject)
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
- 621.500 Introduction to Automata Theory, Languages, and Computation (2.0h VO / 2.0 ECTS)
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
-
Subject: Mathematik und Theoretische Informatik (LI 1.2)
(Compulsory subject)
-
Stage one
- Bachelor's degree programme Applied Informatics
(SKZ: 511, Version: 12W.1)
-
Subject: Mathematics and Theoretical Principles
(Compulsory subject)
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
- 621.500 Introduction to Automata Theory, Languages, and Computation (2.0h VO / 2.0 ECTS) Absolvierung im 3. Semester empfohlen
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
-
Subject: Mathematics and Theoretical Principles
(Compulsory subject)
- Bachelorstudium Informatik
(SKZ: 521, Version: 09W.3)
-
Subject: Mathematik und theoretische Grundlagen
(Compulsory subject)
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
- 621.500 Introduction to Automata Theory, Languages, and Computation (2.0h VO / 2.0 ECTS)
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
-
Subject: Mathematik und theoretische Grundlagen
(Compulsory subject)
- Bachelor's degree programme Informatics
(SKZ: 521, Version: 03W.1)
-
Subject: Mathematik und theoretische Grundlagen
(Compulsory subject)
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
- 621.500 Introduction to Automata Theory, Languages, and Computation (2.0h VO / 2.0 ECTS)
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
-
Subject: Mathematik und theoretische Grundlagen
(Compulsory subject)
- Bachelor's degree programme Technical Mathematics
(SKZ: 201, Version: 12W.2)
-
Subject: Informatik
(Compulsory elective)
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
- 621.500 Introduction to Automata Theory, Languages, and Computation (2.0h VO / 2.0 ECTS)
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
-
Subject: Informatik
(Compulsory elective)
Equivalent courses for counting the examination attempts
-
Wintersemester 2023/24
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2022/23
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2021/22
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2020/21
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2019/20
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2018/19
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2017/18
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2016/17
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2015/16
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2014/15
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2013/14
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2011/12
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2010/11
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2009/10
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2008/09
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)