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

How to create a DFA for min. one 0 and max. three 1’s

下面的语言我需要创建一个DFA,但是我创建的自动机总是nondeterministic finite ones(不知道对不对)

Σ = {0, 1}
L = {ω ε Σ* | (|ω|0 ≥ 1) ∧ (|ω|1 ≤ 3)}

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

解决方案是通过 subset-construction as suggested by harold.

将 NFA 转换为 DFA