这个 DFA 是否满足给定语言的补集？

Question

我收到了这个挑战：

给定 𝐿 = { 𝑤 ∊ {0, 1}^* ：01 是 𝑤 }

的子串

经常表扬𝐿赞美。

我的理解是，用于补充这种语言的 DFA 需要拒绝 01 个子字符串。

这是我对 L(M) = L 赞美的 DFA：

我的 DFA 是否正确接受赞美语言？

Answer 1

它看起来不错，只是它不接受空输入，据我了解应该接受空输入。

有了这个修改，就没有理由再区分 q₀ 和 q₂：它们可以合并到接受的状态中：