语言之间的可归约性 映射归约 更多不可判定的语言 不可判定性 … 电子书下载

原名:Reducibility among languages Mapping reductions More undecidable languages Undecidability …
作品简介:计算模型第 9 讲，2009 年春季。语言间的可简化性。映射减少。更多不可判定的语言。 Rice 的不可判定性……