【可计算性理论】莫绍揆王元元科学.pdf
计算机科学丛书 可计算性理论 莫绍王元元著
计算机科学丛书 编委会 杨芙清金淳兆 唐稚松徐家福萨师煊
要求用自动机来识别算法语言的形式结构,如此等等.此外,程序 的正确性如何检查、程序如何优化等等,也都直接或间接地与算法 语言结构的研究有关,这两部分的内容很多,这里不能详述,本书只能就其比较基 本的部分(包括判定问题)略作介绍.至于进一步的内容,如化归 问题、不可解度、谓词和集合的分层、计算复杂性、封闭性问题等 等,都不再涉及,读者可参阅有关书籍,本书基本上是自足的,并备有一定数量的习题 本书由莫绍挨与王元元合著．莫绍给出全书的大纲,并执 笔撰写第六章,其余几章由王元元执笔,全稿均经莫绍修改. 