This information sheet indicates how the course will be organized at pandemic code level yellow and green.
If the colour codes change during the academic year to orange or red, modifications are possible, for example to the teaching and evaluation methods.

Languages and Machines

Course Code :1001WETTAL
Study domain:Computer Science
Academic year:2020-2021
Semester:2nd semester
Contact hours:60
Study load (hours):168
Contract restrictions: Exam contract not possible
Language of instruction:Dutch
Exam period:exam in the 2nd semester
Lecturer(s)Els Laenens

3. Course contents *

We start with an introduction to formal proof and the definitions of central concepts of automata theory. Then we study several finite automata as well as regular expressions and their respective applications (web/text search, lexical analysis, regular expressions in UNIX, finding patterns in text). We also look at the equivalences between finite automata and regular expressions and at properties of regular languages. Finally, we study the minimization of automata.