形式语言与自动机理论(一).pptVIP

第三章 有限状态自动机 3.2 有限状态自动机的形式定义 （２）设计有限状态自动机 　例3：设计一个DFA M，它能识别所有能被 3 整除的十进制数。 设计 可以考虑有以下情况： （1）已输入的数字与上一余数之和被 3 除余 0； （2）已输入的数字与上一余数之和被 3 除余 1； （3）已输入的数字与上一余数之和被 3 除余 2； 第三章 有限状态自动机 3.2 有限状态自动机的形式定义 （3）即时描述（瞬时描述、格局） 　定义：设 M=(Q,?,?,q0,F)是一个FA, x,y??*,?(q0,x)= q。 则 xqy 称为 M 的一个即时描述 (instantaneous description,ID)。 第三章 有限状态自动机 3.2 有限状态自动机的形式定义 （4）到达某状态的字符串集合 　定义：设 FA M=(Q,?,?,q0,F)， 对 ?q?Q 能从开始状态到达所输 入的字符串集合为： set(q)={x|x??*,并且?(q0,x)= q} 第三章 有限状态自动机 3.2 有限状态自动机的形式定义 （5）有限状态自动机等价 　 假设 M1,M2 是 FA， 如果 L(M1)=L(M2)，则 M1 与 M2 等价。 第三章 有限状态自动机 3.3 非确定的有限自动机(NFA) （1）形式定义 　定义：非确定有限自动机（non-deterministic finite automaton,NFA）是一个五元组： Ｍ=(Q,?,?,q0,F) 　其中，Q、?、q0、F的定义与在FA中的定义相同； 　?：状态转换函数， ?：Q???p(Q) 　即对?(q,a)? Q?? 　?(q,a)={p1,p2,…,pm}?Q 第三章 有限状态自动机 3.3 非确定的有限自动机(NFA) 状态转换函数 ?：Q???p(Q)，对?q?Q ①对????* ②对?a??,w??*有 ③对P?Q 第三章 有限状态自动机 3.3 非确定的有限自动机(NFA) （1）形式定义 非确定的有限自动机(NFA M)所接受的语言: 第三章 有限状态自动机 3.3 非确定的有限自动机(NFA) 例：设计一台NFA，使它能够接受0，1形成的字符串且该字符串的最后两位是01。 设计分析 可以考虑以下情况： （1）在初始状态下，无论输入 1 还是输入 0 都是一种不可接受的状态； （2）在初始状态下，输入 0 时，是一种可能接受的状态； （3）在可能接受的状态下，输入 1 时，是可接受的状态。 第三章 有限状态自动机 3.3 非确定的有限自动机(NFA) （2）DFA 和 NFA 的等价性 　定理：设L(MN)是由NFA MN 所接受的语言。 则存在一个DFA MD ，使得 L(MD) = L(MN)。 第三章 有限状态自动机 （1）形式定义 3.4 有?转换的有限状态自动机(?-NFA) 　定义：有?转换的NFA M 是一个五元组： Ｍ=(Q,?,?,q0,F) 　其中， Q、?、q0、F的定义与NFA中的定义相同； 　?：状态转换函数,?：Q?(??{?})?p(Q) 　即对?(q,a)? Q?(??{?}) 　 ?(q,a)={p1,p2,…,pm}?Q 第三章 有限状态自动机 3.4 有?转换的有限状态自动机(?-NFA) （2）相关概念 ? 闭包 假设有?转换的NFA Ｍ=(Q,?,?,q0,F)，对?q?Q, q 的 ? 闭包是指由状态 q 出发，经过有 限段 ? 弧到达的状态以及q本身组成的状态集合。记为?-CLOSURE(q)。 若P?Q,那么?-CLOSURE(P)= 第三章 有限状态自动机 3.4 有?转换的有限状态自动机(?-NFA) （2）相关概念 的定义 对?q?Q,w??*,a?? ① ② 其中： 第三章 有限状态自动机 3.4 有?转换的有限状态自动机(?-NFA) （2）相关概念 的定义 ③ 对?R?Q 有 ? 转换 NFA M 所接受的语言 第三章 有限状态自动机 3.4 有?转换的有限状态自动机(?-NFA) （3）?-NFA 与 NFA 的等价性 　定理：如果 ?-NFA M 所接受的语言为L(M), 那么存在一个NFA M1 ，使得 L(M1) = L(M) 第三章 有限状态自动机 3.5 FA是正规语言的识别器 由文法推导句子 S?