1. Computability

2. Key question

3. Key question

4. Definition of algorithm

5. Definition of algorithm

6. Algorithm

7. Algorithm

8. Example of high-level TM

9. Example of high-level TM

10. Example of high-level TM

11. Example of high-level TM

12. Example of high-level TM

13. Example of high-level TM

14. Example of high-level TM

15. Example of high-level TM

16. Example of high-level TM

17. Example of high-level TM

18. Example of high-level TM

19. Example of high-level TM

20. Decidability

21. Decidability & undecidability

22. Decidability & undecidability

23. Decidable problems

24. Decidable problems

25. Decidable problems

26. Decidable problems

27. Decidable problems

28. Decidable problems

29. Decidable problems

30. Decidable problems

31. Decidable problems

32. Recap

33. Recap

34. Undecidable problem

35. Undecidable problem

36. Undecidable problem

37. Undecidable problem

38. Undecidable problem

39. Undecidable problem

40. Undecidable problem

41. Undecidable problem

42. Unrecognizable problem

43. Unrecognizable problem

44. Unrecognizable problem

45. Unrecognizable problem

46. Unrecognizable problem

47. Unrecognizable problem

48. Recap (language relations)

49. More undecidable problems

50. More undecidable problems

51. More undecidable problems

52. More undecidable problems

53. Recap