【发布时间】：2014-01-30 17:20:24
【问题描述】：
假设 DFA D 是有效的 DFA。这对于其最终状态从初始状态的可达性意味着什么？我可以假设：
$\delta^* (q_0, w) = f$，其中 $w \in \Sigma$ 和 $f \in F$
【问题讨论】：
【发布时间】：2014-01-30 17:20:24
【问题描述】：
不，你不能假设这一点。这与 DFA 的定义完全一致，因为存在从起始状态无法到达的状态。您可以做的是从 DFA 开始，然后将其过滤到仅从开始状态可到达的状态，而无需更改 DFA 的语言，如果您认为这会有所帮助。
希望这会有所帮助！
【讨论】：