非确定性有限受体基本问题

时间:2019-04-03 15:58:06

标签: automata finite-automata

在学习自动机课程时, 我在nfa中有一个非常基本的问题。

Q0-a> Q1-lambda> Q2

如果图形看起来像那样,(我还不能发布图片, FYI Q0-a> Q1表示存在标记为a)的边(q0,q1) 我可以说delta(q0,a)= q2吗? 我认为我的问题有点愚蠢,但是 我想知道答案!

1 个答案:

答案 0 :(得分:1)

是的,如果图形看起来像

B

那么可以这么说

(q0) --a--> (q1) --e--> (q2)

现在,这并不是说delta(q0, a) = (q1) 是通过消耗一个(q1)可以从(q0)到达的唯一状态。相反,通常要做的是定义另一个函数a,可能从成对的状态和符号对到其他状态的集合,这样

delta*

如果要确定,请指定delta*({(q0)}, a) = {(q1), (q2)} 的域和共域,以免造成混淆。