有限自动机理论3章有限状态自动机讲解学习.ppt

第三章;定义语言;形式语言研究内容;有限自动机研究内容;有限状态自动机 FA(Finite state Automaton);两类有限状态自动机;FA还可以分为;等价性;;3.1 有限状态自动机;有限状态自动机物理模型;;;;;;定义3-1 有限状态自动机FA;;;;DFA;例3-1;δ的表示：函数形式;δ的表示：状态矩阵;δ的表示:状态图形式;δ的表示;δ的表示：状态图;;默认;3.2 有限状态自动机接收语言;;;对于可接收串;对于不可接收串;;思考;定义3-4 扩展的状态转换函数;递归扩展的状态转换函数;;或者;定义3-6 DFA接收的语言;思考;定义3-7 DFA的瞬时描述（格局）;;;DFA的特殊格局;;可以使用格局的转换方式定义FSL;定义3-8 DFA停机;注意1：;注意2：;;构造DFA，分别接收语言;定理3-1;等价思路;等价思路;构造文法的基本思路：;思考;证明;;;对于句子w=x1x2…xn;所以;例3-2 DFA与文法的转换;;;定理3-2;证明：;;;注意;基本的等价替换;3.3 DFA接收语言的例子;;增加陷阱状态后的DFA;思考1;思考2;例3-4构造DFA;分析;;;思考;;;;;;接收000的状态图;;状态转移图;思考;思考:如果;状态图为;例3-5构造DFA ;分析：;;;例3-6 构造DFA;q2;例3-7构造DFA;q2;例3-8构造DFA;;状态转移图;思考：构造DFA;例3-9构造DFA ;状态转移图;例3-10 构造DFA;;或;构造DFA;例3-11构造DFA;分析;;;;思考;;q0;q0;q0;;存在的问题;思考;定义3-9 set集合;;按状态进行划分;;;;例3-12构造DFA,接收;;状态与对应的等价类;;例3-13构造DFA,接收;;;;人们习惯使用十进制数;;;q0;q0;q0; q1;q1;q1;q2;q2;q2;状态图;例3-14构造DFA，接收;分析：;;例3-15构造DFA，接收;;思考：构造DFA，接收;总结：构造DFA，接收;分析：;;;;注意;qS;本质;qi;;;;例3-16构造DFA，接收;;;;状态转移图(省略陷阱状态);思考1;思考2 DFA是否可以为(省略陷阱状态);３.4 不确定的有限状态自动机;问题;例;省略陷阱状态;;;3.4.1不确定的有限状态自动机;;;NFA与DFA;;FA处于状态q;具体地;;NFA停机;;;;问题;定义 NFA扩展状态转换函数;NFA扩展状态转换函数;a∈∑;对于串w;或;;;构造NFA，分别接收语言;3.4.2 NFA的确定化;定理3-3;证明：= 必要性;;证明: = 充分性;;;;;例3-18;;;DFA状态转换函数;DFA状态转换图;注意：;例3-19构造NFA，接收;解1:直接构造DFA(以0结尾的串);解2：;转换为DFA ;例3-20 接收;;解;解;解;思考：构造NFA，接收;例3-21接收;;解;解;解;例:构造NFA，接收;;NFA ;构造NFA，接收;;NFA ;例3-23构造NFA，接收;NFA ;例3-24构造NFA，接收;NFA ;例3-25构造NFA，接收;NFA (无ε);思考;一般：;定理3-4;证明;;;注意;;;总之;例3-26 构造NFA，接收;NFA状态转移图;或;例3-27构造NFA，接收;;或 多个开始状态的NFA;3.5 带ε动作的有限状态自动机;;;定义3-14带ε动作的有限状态自动机 ;;具体;;;;注意;例3-28 ;状态图;;定义3-15;;;规则;规则;注意;进一步;定义3-16 扩展的状态转换函数;空串;单个字母;对于串wa;或;对于;对于;;;注意;定理3-5;证明 ：;;;;结论;例3-29;;例3-30构造ε-NFA,接收;;思考;请验证;思考：;3.6 有限状态自动机的一些变形;3.6.1双向的有限状态自动机;定义3-18;;δ(q，a)={p，D};;;定理3-6;;定义3-20;;;;定理3-7;3.6.2带输出的有限状态自动机;;模型图;;定义3-21;;Moore机;对于输入串a1a2a3…an-1an;则;;实际上;;例3-31设计Moore机;分析;状态上的标记表示Moore机在该状态时的输出;;即;定义3-22;;;对于输入序列a1a2a3…an-1an;;若输入串的长度为n;例3-32;;;Mealy机;输入串是01100;;;;Moore机和Mealy机等价;;其中;;定理3-8;证明;;;;定理3-9;证明;定理3-10;3.7 有限状态自动机的存储技术;;;;;例3-34构造 FA 接收;存储第一个字符;扫描;;;思 考：构造FA接收