某个不确定有限自动机(S0为初态,S3为终态)如下图所示,(  )是该自动机可识

免费题库2022-08-02  48

问题 某个不确定有限自动机(S0为初态,S3为终态)如下图所示,(  )是该自动机可识别的字符串(即从初态到终态的路径中,所有边上标记的字符构成的序列)。A.baabbB.bbaabC.aababD.ababa

选项 A.baabb
B.bbaab
C.aabab
D.ababa

答案 A

解析 确定的有限自动机(S,∑,f,s0,Z)
S是一个有限集,其每个元素称为一个状态
∑是一个有穷字母表,其每个元素称为一个输入字符
F是S× ∑→S上的单值部分映射
f(A ,a)=Q 表示当前状态为A,输入为a时,将转换到下一个状态Q,称Q为A的一个后记状态
s0 ∈S,是唯一的一个开始状态
Z是非空的终止状态集合,Z?S
非确定的有限自动机与确定的区别
F是S× ∑→2S上的映射
对于S中的一个给的状态及输入符号,返回一个状态的集合。即当前状态的后继状态不一定是唯一的
有向弧上的标记可以是?

题干中有限自动机对应的正规式为:( a | b )* a b b,即以abb结尾的序列,题干选项中符合以abb结尾的选项为A
转载请注明原文地址:https://tihaiku.com/congyezige/2418117.html

最新回复(0)