Základy informatiky
Týden 8
- Metoda redukce, nerozhodnutelnost problému zastavení
- Částečně rozhodnutelné problémy
Literatura: kapitoly 6.5 a 7
Cvičení:
- konstrukce Turingových strojů se vstupem a výstupem
- konstrukce Turingových strojů, které umí počítat s čísly; součet binárně zapsaných čísel