1. Turingovův stroj jako matematický model algoritmu
2. Model RAM
3. Churchova - Turingova teze

Literatura: kapitoly 6.2., 6.3. a  6.4.

Cvičení:

• konstrukce jednoduchých Turingových strojů