可计算性理论.pdf 本书包括数理逻辑的递归论和形式语言论两部分内容．一至八章为递归论部分，详尽地研究了初等函数、原始递归函数、递归函数及各类算子，充分地讨论了Turing机与Turing可计算性概念．九、十两章为形式语言论部分，系统地介绍了各种形式语言及相应的语言识别器——各类自动机．作为递归论内容 叁号仓库 2022年07月17日 0 点赞 0 评论 965 浏览
