State and Transition implementations.
Alphabet implementation. State, Transition and old MessageHandler refactoring.
State name validation and alphabet refactoring.