(JOENSUU): Basics Models of Computation (LAP) (4 cr)
Code: C-10088-3621423-3007
General information
- Enrollment
- 23.12.2024 - 10.01.2025
- Registration for the implementation has ended.
- Timing
- 07.01.2025 - 14.03.2025
- Implementation has ended.
- Number of ECTS credits allocated
- 4 cr
- Local portion
- 4 cr
- Mode of delivery
- Blended learning
- Institution
- University of Eastern Finland, Itä-Suomen yliopisto, Joensuun kampus
- Teaching languages
- Finnish
- Seats
- 0 - 100
- Course
- C-10088-3621423
Evaluation scale
0-5
Objective
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.
Content
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.
Location and time
Lectures 22-28h, exercises 10-14h
Materials
Lecture notes. They can be supplemented with suitable books, such as: Kozen D.C.: Automata and Computability (Springer, 1997) or Hopcroft J.E., Motwani R., Ullman J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd Ed. (Pearson, 2006).
Teaching methods
Participation in exercises, and final (written) examination. Grading: 0-5. Course exam or its re-take 80%, exercises done 20%. General exams do not take exercises into account.
Qualifications
Introduction to Computing, Data Structures and Algorithms I, Discrete Structures