Minimum DFA for {w∈{a,b}∗∣∀x,y:((w=xy∧∣x∣≥3)⇒(∣x∣a∈2˙∨∣x∣b∈2˙))}
Describe the minimum DFA that recognizes the language of the words over
{a,b} such that every prefix of length greater than or equal to 3 has
an even number of a’s or an even number of b’s.