Videa jsou opět dohromady o něco delší, ale první je jen opakování a čtvrté je nepovinné.

Studium

Učivo tohoto bloku je popsáno na stranách 60-63 těchto skript:

Redukce v terminologii Turingových strojů a Postův korespondenční problém jsou popsány v kapitolách 5.4 a 5.6 skript k předmětu IB005:

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.

Jako další zdroj informací k redukcím (v kontextu Turingových strojů) lze použít následující democvičení z FJA natočené v závěru jarního semestru 2020.