编译原理第三章习题答案.pptVIP

* 4.2.4 DFA的程序模拟 DFA M=（K，Σ，f，S，Z）的行为的模拟程序 K = S； c = getchar; while c eof do { K = f(K,c); c = getchar; }; if K is in Z then return (‘yes’) Else return (‘no’) * 4.3 非确定有限自动机NFA 一个非确定有限自动机NFA M是一个五元式： M = (S，Σ，δ，S0，F) 其中： S是一个有限集，它的每个元素称为一个状态； ∑是一个有穷字母表，它的每个元素称为一个输入字符； δ是一个从S x ∑*至S的子集的映射，即δ： S x ∑* →2s（S集合的幂集/S的所有子集的集合） S0 S，是一个非空初态集。 F S,是一个终态集（可空）。 * 对于∑*中的任何一个字α，若存在一条从某一初态结点到某一终态结点的通路，且这条通路上所有弧的标记字依序连接成的字（忽略那些标记为ε的弧）等于α，则称α可为NFA M所识别（读出或接受）。若M的某些结点既是初态结点又是终态结点，或者存在一条从初态结点到某一终态结点的ε通路，那么，空字ε可为M所接受。 例子：识别所有含有相继两个a或相继两个b的字NFA。 5 X 1 2 3 4