Languages and Machines

Course Code :1001WETTAL
Study domain:Computer Science
Academic year:2017-2018
Semester:2nd semester
Contact hours:60
Credits:6
Study load (hours):168
Contract restrictions: No contract restriction
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.