====== Rice's Theorem & Post's Correspondence Problem ======

Lecture notes:

{{:aa:rice.pdf|07a. Rice's Theorem (Notes)}}

{{:aa:rice.pdf|07b. Post's Correspondence Problem (Notes)}}