如何为min创建DFA。一个0和最大三个1

Question

对于以下语言，我需要创建DFA，但我创建的自动机总是nondeterministic finite ones（我不知道它是否正确）。

Σ= {0,1}
L = {ωεΣ* | （|ω| ₀ ≥1）∧（|ω| ₁ ≤3）}

Answer 1

解决方案是按照subset-construction的建议，通过harold将NFA转换为DFA。

Answer 2

试试这个DFA ...... 可能对您的需求有所帮助......