Basic Models of Computation LTD7009-3001 25.10.2021-14.12.2021 3 cr(LTDNS20I)+-
Learning objectives
Theoretical modeling of computational problems and their solutions, 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.
Starting level and linkage with other courses
Introduction to Computing, Data Structures and Algorithms I, Discrete Structures
Contents
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.
Further information for students
Course evaluation: course exam or its re-take 80%, exercises done 20%. General exams do not take exercises into account
Responsible person
Mikko Anttonen
Mode of delivery
Contact teaching
Campus
Wärtsilä Campus Karjalankatu 3
Teaching language
Finnish
Timing
25.10.2021 - 14.12.2021
Enrollment
01.04.2021 - 30.04.2021
Groups
LTDNS20I
Teachers
Mikko Anttonen
Seats
20 - 60
Degree Programmes
Degree Programme in Business Information Technology