非确定性有限接受器基本问题

Question

在学习自动机class讲座时， 我在 nfa 中有一个非常基本的问题。

Q0-a>Q1-lambda>Q2

如果图表看起来像那样，（我还不能 post 图片， 仅供参考 Q0-a>Q1 表示有边 (q0,q1) 标有 a) 我可以说 delta(q0,a)=q2 吗？ 我觉得我的问题有点傻但是 我想知道答案！

Answer 1

是的，如果图表看起来像

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

那么公平地说

delta(q0, a) = (q1)

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

delta*({(q0)}, a) = {(q1), (q2)}

如果您想确定，请指定 delta 的域和密码域以消除任何混淆。