making it more OOP: clean up
class State, States and Alphabet added