add more possible problems.

Added more labels to the problems.
Expanded solutions.
clarify the behavior of a DFA