计算理论解析 pdf
本书介绍计算模型理论,包括计算的对象、本质、定义、分类、表达、逻辑和机械实现方法,以及计算模型的典型应用。全书共分为6章。第1章介绍计算的对象和本质,将离散变量作为图灵计算(离散变量计算)的对象,将其逻辑确定性和机械能行可计算性作为图灵计算的本质;第2章介绍可计算函数——递归函数;第3章介绍计算机的数学原理;第4章介绍语言的计算;第5章介绍判定问题的可计算性;第6章介绍计算模型的典型应用。本书是计算理论(计算模型、形式语言与自动机)、计算机科学技术史、逻辑学、语言学、数学、哲学的交叉研究,也是通过浅显易懂的讲解方式进行计算机核心理论教学的尝试。作者力图为计算机相关人员提供一个计算的本质特征的“灵魂”描述及其通俗解释,以使得计算机软硬件的所有任务、过程,特别是软件的表达与执行归结为数学原理和逻辑本质。本书适合作为高等院校计算机、通信、自动化、软件工程、信息管理、数理逻辑与数学基础、生成转换语言学等专业本科生和研究生的教材。同时,由于本书内容深入浅出,能够被仅具有基本数学知识的人读懂,因此也可供对计算机理论感兴趣的广大科技工作者参考。