This site uses cookies only for the purpose of identifying user sessions.
This is required to properly register actions.
Minimum DFA for $\{ w \in \{a,b\}^* \mid \forall x,y: ((w=xy \wedge |x|\notin\dot{2})\Rightarrow |x|_b=1+|x|_a) \}$
Describe the minimum DFA that recognizes the words over $\{a,b\}$ whose
prefixes of odd length have the propierty that their number of $b$’s equals
their number of $a$’s plus $1$.
Authors: Guillem Godoy
/
Documentation: