编译原理第3章ppt.pptVIP

DFA的确定性表现在转换函数f: S×Σ→S是一个单值函数，也就是说对任何状态k∈S,和输入符号a∈Σ，f(k,a)唯一地确定了下一个状态。 从状态转换图来看，若字母表含有n个输入字符，那么任何一个状态结点最多有n条弧射出，而且每条弧以一个不同的输入字符进行标记。 非确定的有限自动机(Nondeterministic Finite Automata) 一个非确定的有限自动机(NFA) M是一个五元组： M=(S ，Σ，f，S0，F)，其中 S是一个非空有限集，它的每个元素称为一个状态； (2) Σ是一个有限的输入字母表，它的每个元素称为一个 输入字符； (3) f是转换函数，它是从S ×Σ*到2S的子集的映象 ； (4) S0 ? S是一个非空的初始状态集； (5) F ? S，是终止状态集合。 对某个输入，可以到达多个状态 初态可以是多个 所以，一个含有m个状态和n个输入字符的NFA可表示成如下的一张状态转换图：这张状态转换图含有m个状态结点，每个结点可射出若干条箭弧与别的结点相连接，每条弧用Σ*中的一个串作标记(可相同)，整个图至少含有一个初态结点以及若干个终态结点。 例： 一个NFA M=({0,1,2,3,4},{a,b},f,{0},{2,4})，其中 f(0,a)={0,3}