02141 Computer Science Modelling


Class schedule: Lectures and exercise classes generally take place Tuesday 13.00-17.00 and Friday 8.00-12.00 during the Spring term.

Course work: There is is a series of mandatory assignments – on top of the exercises in class.

Examination: There is an individual written exam at the end of the course; it may build in part on the mandatory assignments. Only written works of reference may be brought to the exam.

Rexamination: Reexaminations will be oral and individual; they may build in part on the mandatory assignments.

Lecturers: Flemming Nielson,  and Alberto Lluch Lafuente.

Getting help: Ask the tutors and lecturer during class.


General course objectives: The students learn to understand and apply the central models and formalisms introduced in the course and to use software tools related to some of these formalisms.

Course prerequisites: Please note that the course 02157 is a prerequisite for this course, and we will be assuming that you can program in a functional language like F#.

Course contents: The course covers three main topics:

·       Regular Languages (RL): Regular languages and their relation to (deterministic and non-deterministic) finite automata, practical applications (searching in texts, lexical analysis, etc.) and some key theoretical properties (for example closure and decidability properties).

·       Context-Free Languages (CFL): Context-free languages and their applications to parsing data and programs, and to the construction of interpreters and analyzers.

·       Formal Methods (FM): Program graphs as a model of programs, their semantics, and several ways of analyzing and verifying properties of programs (including program analysis, language-based security and model checking).

Course material:

·       [HMU] 02141: Automata Theory and Languages (edited by Hanne Riis Nielson) available in Polyteknisk Boghandel. (Contains selected chapters from Introduction to Automata Theory, Languages, and Computation, John E. Hopcroft, Rajeev Motwani, Jefrey D. Ullman, Addison-Wesley, 2007.)

·       [FM] Formal Methods – An Appetizer, Hanne Riis Nielson and Flemming Nielson. Springer, 2019, available in Polyteknisk Boghandel.

·       FormalMethods.dk contains links to online systems (mainly fm4fun) used in the course, slides and videos.


Remarks: The course is taught in English.


For further information please consult the internal DTU webpages.