您能否验证我的 DFA 是否满足给定的语言？

Question

问题： 给定 L = { w ∊ {0, 1}^* ： 01 是 w}

的子串

经常对 L 表示赞美。

解决方案

1. 所以基本上这种语言的赞美将是我们的 DFA 中拒绝的 01 个子字符串。

2. 这是我的 DFA，L(M) = L 恭维。

我的 DFA 接受该语言吗？只是想获得第二意见。谢谢。

Answer 1

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

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