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.
Getting help: Ask the tutors and lecturer during class.
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.
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).
· [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.