Formal Languages and Computability (INF3, Autumn'05)
Lecture 10
Main topic:
Decidable and undecidable problems
Lecture Plan
- algorithmic problems and languages
- examples of decidable problems
- undecidability of the acceptance problem
Reading
- Section 4.1 (p. 167-170)
- Section 4.2 (p. 175-176; 181-184)