有限自动机讲解.pptx

有限自动机理论;理论重要性;主要内容;有限自动机理论内在联系;语言是一种宽泛的概念 任意字符非空集合构成字母表； 字母表中字母排列起来，形成序列称为字符串； 语言就是该字母表上的某些字符串组成的集合。 语言的本质是 规则的组合 。 例如在字母表Σ = {0,1}上可以形成语言 L = {00, 01, 10, 11} L = {0n1n | n 0} L = {0n1m0k | n, m, k 0} ;语言的形式化表达 偶数个0组成的串的语言 L = {00, 0000, 000000, …}={(00) n | n 0}形式化方法描述为① S → 00 | 00S 奇数个1组成的串的语言 L = {1, 111, 11111, ……} ={1(11) n | n = 0}形式化方法描述为① S → 1| 1A② A → 11|11A C语言标识符，以字母开始的字母/数字字符串。形式化方法描述为 ① S → L② S → SL③ S → SD④ L → a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z⑤ D → 0|1|2|3|4|5|6|7|8|9;文???是一个四元式 G = (Σ, V, S, P)，其中 Σ 是有限字符集合； V 是有限字符集，被称为非终结符； S 是一个特殊的非终结符，被称为开始符号； P 是有序偶对(α, β)的集合，通常记为 α → β ，称为产生式。 文法用于产生语言。例如文法 Σ = {a, b}； V = {A}； S = A； P = {A → aAb , A → ab}； 产生的语言就是 L = {anbn | n 0};有限状态自动机物理模型 下推自动机物理模型 图灵机物理模型 ;语言学家Chomsky将四种类型的文法与四种语言自动机一一对应，这就建立了形式语言与自动机的等价关系。 ;图灵机(Turing Machine);图灵机;图灵机的意义;图灵机的物理模型;图灵机的物理模型;图灵机五元式描述动作;下推自动机 PDA（Push-Down Automaton）;下推自动机 PDA;下推自动机 PDA;下推自动机物理模型;下推自动机动作;有限状态自动机 FA（Finite State Automaton）;两类有限状态自动机;等价性;有限状态自动机;有限状态自动机物理模型;有穷状态控制器FSC;一次动作