当前位置:首页 → 计算机类 → 软件水平考试 → 中级软件设计师->下图是一个非确定有限自动机(NFA)状态转换图,其中,S0为
下图是一个非确定有限自动机(NFA)状态转换图,其中,S0为初态、S3为终态。该NFA可识别字符串 () (即找出从初态到终态路径上所标记字符序列)。
一个有限自动机所识别语言是从开始状态到终止状态所有路径上字符串集合。要判断一个字符串能否被指定自动机识别,就看在该自动机状态图中能否找到一条从开始状态到达终止状态路径,且路径上字符串等于需要识别字符串。在该有限自动机中,末尾必须识别101字符串。