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, které si můžete vytisknout a dělat si do nich poznámky, a dále již výuková videa.