Added basic classes for the DFA