（T/F 和解释）当且仅当 NFA 的开始状态是最终状态时，NFA 才接受空字符串答案

【问题标题】：(T/F and explain) An NFA accepts the empty string if and only if its start state is a final state（T/F 和解释）当且仅当 NFA 的开始状态是最终状态时，NFA 才接受空字符串
【发布时间】：2020-01-19 22:58:55
【问题描述】：

当且仅当 NFA 的开始状态是最终状态时，NFA 是否接受空字符串？这是真的？

请解释原因。

这个问题与 Automata 和 NFA 和 DFA 有关。

【问题讨论】：

这似乎更适合 cs.stackexchange.com。

标签： automata dfa nfa

【解决方案1】：

这是错误的。考虑一个具有非接受初始状态的两态 NFA，通过 lambda-（或 epsilon-，或空）转换导致接受状态。该 NFA 通过遍历转换接受空字符串，但初始状态为不接受。

如果声明是关于 DFA 的，那么它就是正确的，因为 lambda-（或 epsilon-，或空）转换不可用。

【讨论】：

【解决方案2】：

是的，这是真的。当开始状态变为最终状态时，无需读取任何字符串即可到达最终状态。所以接受的字符串是空的。参考https://www.udemy.com/course/introduction-to-theory-of-computations/

【讨论】：

【解决方案3】：

是的，这是真的。默认 NFA 是指没有 Epsilon 转换的 NFA。如果它是一个 Epsilon NFA（可以在不消耗输入符号的情况下改变状态的 NFA），那么答案是错误的。

【讨论】：