Does the automaton that I build must contain a minimal number of states, or any number of states will be accepted?
We did not require it to be minimal, but still, it should be reasonable. So, for example, if
the minimal automaton has 7 states and yours has 8, no problem. But if yours has 19 states,
you may lose some points.