Search code examples
dfa

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


For the following language I need to create a DFA, but automatons I create are always nondeterministic finite ones (I don’t know if it’s correct).

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


Solution

  • The solution was to convert the NFA to a DFA via subset-construction as suggested by harold.