（作业）将 NFA 转换为具有 epsilon 转换的 DFA，但字母表中的某些 a 没有转换答案

【问题标题】：(Homework) Converting an NFA to a DFA with an epsilon transition, but no transition for some a in the alphabet（作业）将 NFA 转换为具有 epsilon 转换的 DFA，但字母表中的某些 a 没有转换
【发布时间】：2013-09-19 06:55:43
【问题描述】：

如果我的字母表是 {a,b} 并且我的 nfa 具有以下转换：

State    |      a        b        epsilon        
--------------------------------------------
q0              q1      null        q1
q1              q2       q1         none
q2              q2       q1         none

这张表错了吗？应该 delta(q0, b) = q1 因为 q0 可以在 epsilon 上移动到状态 q1？

【问题讨论】：

我认为您在谈论 epsilon-transitions 对吗？ ;)
是的，我只是不确定如何将其作为符号写入我的问题中，我将对其进行编辑以使其更明显
如果delta(q0, b) = q1 错误取决于状态 q1 的转换！
如果从 q1（或通过 epsilon-transition 从 q1 到达的任何状态）您到达 q1 当读取 b 时，那么 delta(q0, b) = q1为您的 DFS 保留 ;)
嗯，所以基本上是因为 delta(q0, epsilon) = q1，那么这意味着 delta(q0, b) = delta(q0, epsilon) 对吗？

标签： lambda state-machine automata

【解决方案1】：

正如 olydis 在 cmets 部分所述：

“如果从 q1（或通过 epsilon-transition 从 q1 到达的任何状态）在读取 b 时到达 q1，则 delta(q0, b) = q1”

【讨论】：