给定有限状态机M=(Q,S,R,f,g,q1).它的状态图如图8-18所示。 a)求状态q2的cabba的后继
给定有限状态机M=(Q,S,R,f,g,q1).它的状态图如图8-18所示。
a)求状态q2的cabba的后继以及可接受状态序列。
b)求状态q3的Hbaaba的后继以及可接受状态序列。
c)验证f(f(q2,aba),aba)=f(q2,abaaba),g(f(q2,aba),aba)=g(q2,abaaba).
d)求M对于激励abaaba的响应.
c)构造一台与M相似的状态赋值机,并求它对于激励abaaba的响应。