Machines and Computability

Course Code :1001WETMAB
Study domain:Computer Science
Academic year:2019-2020
Semester:1st semester
Sequentiality:Students Computer Science: minimum 8/20 for Languages and machines

Students Mathematics: minimum 8/20 for Introduction to programming
Contact hours:60
Study load (hours):168
Contract restrictions: Exam contract not possible
Language of instruction:Dutch
Exam period:exam in the 1st semester
Lecturer(s)Els Laenens

3. Course contents *

In this course, you continue the study of theoretical computer science, introduced in the course Languages and automata. We start with the study of context-free grammars, context-free languages and their applications such as YACC parser-generator, markup languages and XML. Then we study pushdown automata and their equivalence to context-free grammars. Next we discuss deterministic pushdown automata and their relationship to regular languages. We also look at Chomsky normal form and properties of context-free languages. Finally, you study Turing machines as part of a self-teaching assignement.