Basic Models of ComputationLaajuus (4 cr)
Course unit code: DT10062
General information
- Credits
- 4 cr
- Teaching language
- Finnish
- Responsible person
- Mikko Anttonen, Vastuuopettaja
Objective
You can theoretically model a variety of computational problems that are restricted to fundamental methods of describing and validating data in practical software work (that is, lexical analysis and parsing): Finite automata and regular languages, pushdown automata and context free languages.
Content
Grasp of the basics of theoretical computer science.
Obtaining abilities in using techniques to generate and recognize regular languages and context-free languages.
Understanding of the basics of computability and decidability, the Church-Turing thesis and their fundamental justifications and implications.