(广义的)后对应问题和半 Thue 系统

摘要:证明:ACCESSIBILITY(k)不可判定,则PCP(k + 4)也不可判定。

作者:Francois Nicolas

论文ID:0802.0726

分类:Discrete Mathematics

分类简称:cs.DM

提交时间:2008-11-12

PDF 下载: 英文版 中文版pdf翻译中