形式语言与自动机理论 pdf_计算理论与计算模型

晓强Deep Learning的读书分享会，先从这里开始，从大学开始。大家好，我是晓强，计算机科学与技术专业研究生在读。我会不定时的更新我的文章，内容可能包括深度学习入门知识，具体包括CV，NLP方向的基础知识和学习的论文；网络表征学习的相关论文解读。当然我每天的读书心得也会分享给大家，可能涉及我们生活各个方面的书籍。我也会不定时回答大家的问题与大家一同进步，共同交流，互相监督，结交更多的朋友。希望大家多留言，多交流，多多关照。我在这里等你一同学习，如果需要相关资料也可以私信我，进入我们的群大家庭。

【晓白】今天写了一个项目申请，有些疲惫了，但是也要把文章写好，谢谢各位精神合伙人的支持，晚上继续学习，继续努力。前路漫漫，我必将上下求索。努力一定就有希望，朝着自己的目标前进，一直走下去就会越来越近的。长风破浪会有时，直挂云帆济沧海。下面给大家补充更新计算理论与计算模型，这一章在算法设计与分析中属于常识的内容希望大家多多关注，多多交流。点点关注！

计算理论与计算模型

计算的几种视角

一、计数与计算

手指、石头、结绳计数，算筹计算

许多计算领域的求解问题，如计算物理学、计算力学、计算化学和计算经济学等都可以归结为数值计算问题，而数值计算方法是一门与计算机应用紧密结合的、实用性很强的数学课程。

如对气象资料的汇总、加工并生成天气图像，其计算量大且时限性强，要求计算机能够进行高速运算，以便对天气做出短期或中期的预报

二、逻辑与计算

逻辑学有三大源泉：

①以亚里士多德的词项逻辑和斯多亚学派的命题逻辑为代表的古希腊逻辑。

②以先秦名辩学为代表的古中国逻辑。

③以正理论和因明学为代表的古印度逻辑。

逻辑是研究推理的学科，人们可以把推理看成是对符号的操作，即符号演算。

利用数学方法来研究推理的规律称为数理逻辑。为什么要研究数理逻辑呢？我们知道要使用计算机，就要有程序。

程序＝算法＋数据结构，而算法＝逻辑＋控制

三、算法与计算

从不同角度看，算法的定义有多种：

从哲学角度看：算法是解决一个问题的抽象行为序列。

从抽象层次看：算法是一个将输入转化为输出的计算步骤序列

从技术层面看：算法是接收输入并产生输出的计算过程。

简而言之，算法就是计算的办法或法则。

算法无处不在，每个人每天都在使用不同的算法来活出自己的人生。

比如你去食堂买饭会选择一个较短的队列，而有人则可能选择一个推进速度更快的队列。

算法：为解决一个特定的问题所采取确定的有限步骤。

计算机用于解决数值计算，如科学计算中的数值积分、解线性方程等计算方法，就是数值计算的算法。

计算机用于解决非数值计算，如用于管理、文字处理、图像图形等的排序、分类和查找，就是非数值计算的算法。

算法的组成：操作、数据。

这些操作包括加、减、乘、除和判断等，并按顺序、分支、循环等控制结构所规定的次序执行。

数据是指操作对象和操作结果，包括布尔值、字符、整数和实数等；以及向量、记录、集合、树和图以及声音等。

为什么学习算法：①算法是计算机的灵魂；②算法是数学机械化的一部分，能够帮助我们解决复杂的计算问题；③算法作为一种思想，能锻炼我们的思维，使思维变得更清晰、更有逻辑。

计算理论

计算理论：关于计算和计算机械的数学理论，它研究计算的过程与功效。

计算理论主要包括算法、算法学、计算复杂性理论、可计算性理论、自动机理论和形式语言理论等等。

一、计算与计算过程

计算是依据一定的法则对有关符号串的变换过程。抽象地说，计算的本质就是递归。

直观描述：计算是从已知符号开始，一步一步地改变符号串，经过有限步骤，最终得到一个满足预定条件的符号串的过程。这样一种有限的符号串变换过程与递归过程是等价的。

计算过程：执行算法的过程，而算法的过程正好可以在计算机上执行的过程。即计算机算法是把问题转化为一步一步按规则执行的机械求解过程，再用计算机语言加以表达，最后输入计算机中进行计算。

二、可计算性理论

可计算性理论：研究计算的一般性质的数学理论。计算的过程就是执行算法的过程。

可计算理论的中心课题：将算法这一直观概念精确化，建立计算的数学模型，研究哪些是可计算的，哪些是不可计算的，以此揭示计算的实质。

由于计算与算法联系在一起，因此，可计算性理论又称算法理论或能行性理论。

1.可计算理论的发展

可计算理论起源于对数学基础问题的研究。从20世纪30年代开始，为了讨论所有问题是否都有求解的算法，数学家和逻辑学家从不同角度提出了几种不同的算法概念精确化定义。

陆续证明，上述这些