计算理论 17-Using Reductions to Prove Language Undecidable（
在线收听
）
原文地址：
http://www.tingroom.com/video/gkgkksp/368388.html