fix DFA finish state:   automata.cc
	add DFA class definition:   automata.hh