形式语言与自动机

计算：以机械而有效的方式，获取问题答案的过程
自动机理论：研究抽象机器以及其能解决问题的理论。
自动机以形式语言为处理对象，语言以自动机为形式定义
克林闭包正闭包
语言唯一重要的约束是字母表是有穷的
DFA(有穷自动机)中至少有一个开始状态和一个接受状态，当字符串输入完成以后处于接受状态的节点上，说明DFA接受了这个字符串。
NFA（不确定又穷自动机）只要存在一个接受状态就能被接受
N阶逻辑就是他的一个命题里面有N-1阶逻辑的命题作为参数。
举个一阶逻辑的简单例子：∀x:F(x)，可以是这样的意思：所有人都是女权主义者。这里的x就是人，而F(y)就是“y是女权主义者”。命题有真有假，也就是说这一句话不一定对，但是你可以说出来作为一个命题。
二阶逻辑自然就是包含一阶逻辑命题的命题：∀x,F:G(x,F)，其中x是人，F是任何一个（满足条件的）一阶逻辑命题，G的意思可以是这样的意思：如果F(x)，那么你把x开光了之后，仍然F(x)。二阶逻辑的命题也是有真有假，也就是说这一句话不一定对，但是你可以说出来作为一个命题。
如果上面的二阶逻辑命题的例子的F带入了一阶逻辑命题的例子的F，就变成了这样的一句话：所有女权主义者处女，你把她开光了，她依然是女权主义者。这也是一个命题，命题有真有假，也就是说这一句话不一定对。
那为什么要二级逻辑呢？因为你可以做到这样的事情，譬如说有一天你证明了“∀x,F:G(x,F)”是正确的，那么“所有女权主义者处女，你把她开光了，她依然是女权主义者”就自动正确，不用再证明了，省时省力。
——来自轮子哥的硬核解释
现在让我理一理，为什么要学逻辑？因为逻辑是语义学，语用学，句法学的基础，而没有语言学基础，形式语言也就是计算机语言肯定不会被创造出来。所以逻辑学是必要的。
个体域有时亦称“论域'谓词逻辑中涉及的个体的非空集（至少有一个体），即涉及的对象的范围。对一个给定的解释而言，可以是各种各样的事物类。
DFA、NFA、E-NFA和正则表达式在表示语言上的能力上等价