2005上半年数据结构(上午).docVIP

2005上半年软件设计师级上午试题分析与解答 试题（28）、（29） 某一确定有限自动机（FA）的状态转换图下图–123. ④ .576E10 （28）A．B．C．D．A．(–d|d)d* E(–d|d)d* | (–d|d)d*.d*(ε| E(–d|d)d*) B．(–d|d)dd*(.|ε)d*(ε| E(–d|d)d*) C．(–|d)dd* E(–|d)d* | (–d|d)dd*.d*(ε| E(–|d)d*) D．(–d|d)dd* E(–d|d)d* | (–d|d)dd*.d*(ε| E(–dd*|dd*)) 试题（28）、（29）分析 有限自动机也称为有穷状态自动机，是一种数学机器模型，基本形式有非确定有限自动机（NFA）和确定的有限自动机（DFA），并且每一个NFA都有与其等价的DFA。有穷状态自动机的物理模型如下图所示。 一个DFA可以用状态转换图直观的方式。状态转换图是一种有向图。DFA中的每个状态对应转换图中的一个节点，从外部引入弧的节点表示开始节点，双圈节点表示终态；DFA中的每个状态转换对应图中的一条有向弧，若转换关系为f（A，a）=Q，则该有向弧从节点A出发，进入节点Q，字符a是弧上的标记。 有穷状态自动机识别字符串的过程为：初始时，机器处于起始状态（题图中节点0表示初始状态）。读取一个输入符号，并进行相应的状态转移，直