Documentation for Finite Automaton and the DFA Implementation