在学习自动机课程时, 我在nfa中有一个非常基本的问题。
Q0-a> Q1-lambda> Q2
如果图形看起来像那样,(我还不能发布图片, FYI Q0-a> Q1表示存在标记为a)的边(q0,q1) 我可以说delta(q0,a)= q2吗? 我认为我的问题有点愚蠢,但是 我想知道答案!
答案 0 :(得分:1)
是的,如果图形看起来像
B
那么可以这么说
(q0) --a--> (q1) --e--> (q2)
现在,这并不是说delta(q0, a) = (q1)
是通过消耗一个(q1)
可以从(q0)
到达的唯一状态。相反,通常要做的是定义另一个函数a
,可能从成对的状态和符号对到其他状态的集合,这样
delta*
如果要确定,请指定delta*({(q0)}, a) = {(q1), (q2)}
的域和共域,以免造成混淆。