Exercise 27:

Minimum DFA for {w{a,b}x,y:((w=xyx2˙)xb=1+xa)}\{ 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}\{a,b\} whose prefixes of odd length have the propierty that their number of bb’s equals their number of aa’s plus 11.
Authors: Guillem Godoy / Documentation:
To be able to submit you need to either log in, register, or become a guest.