Finished DFA input acceptance

TO DO: More unit tests.