Vyčíslitelnost a složitost
7. blok: opakování, Turingovy stroje a redukce, Postův korespondenční problém
Studium
Učivo tohoto bloku je popsáno především v kapitolách 5.4 a 5.6 skript k předmětu IB005:
Automaty a formální jazyky I
skripta, 2014
Následují slajdy k sedmému bloku, do kterých si můžete dělat poznámky, a dále výuková videa. Pozor: Postův korespondenční probém je nyní povinnou součástí předmětu, ačkoliv se ve videu říká něco jiného.