计算理论总结

计算理论有三个传统领域：自动机，可计算性和复杂性。
自动机理论
自动机理论中包含几种数学模型：有穷自动机模型，可用于文本处理，编译程序，硬件设计；上下文无关文法模型，可用于程序设计语言和人工智能。


有穷自动机： 有穷自动机分确定有穷自动机（DFA）和非确定有穷自动机（NFA）。
DFA）D是一个五元组：D=（K，Σ，M，S，F）其中
K：有穷非空的状态集合；
Σ：有穷非空的输入符号字母表；
M：转换函数，是在K×Σ→K上的映像，即，如 M(ki,a)=kj,(ki∈K,kj∈K)就意味着，当前状态为ki，输入符为a时，将转换为下一个状态kj，我们把kj称作ki的一个后继状态；
S∈K是唯一的一个初态；
F是非空的终态集合。


非确定有穷自动机转移函数不同，可以非确定的转移到下一个状态。
正则表达式，确定有穷自动机，非确定有穷自动机直接相互等价。有穷自动机可以通过转换广义非确定型有穷自动机来转换成正则表达式。


上下文无关文法(CFG)：
若一个形式文法G = (N, Σ, P, S) 的上下文无关文法产生式规则都取如下的形式：V -> w，则称之为上下文无关的，其中 V∈N ，w∈(N∪Σ)*。
上下文无关文法具有歧异性，