At the start of this course the student should have acquired the following competences:
- competences corresponding the final attainment level of secondary school
an active knowledge of
a passive knowledge of
The textbook for this course is in english.
general notion of the basic concepts of
Elementary mathematics: functions, relations, regular languages.
specific prerequisites for this course
Be familiar with fundamental notions from the theory of formal languages (automata and Turing machines), data structures (trees, graphs) en algorithms (big-O analysis).
Students need to have succesfully completed the courses "Data abstraction and structures", "Machines and Computability" and "Languages and Machines".