added newadded new
DFA automata added -- ported from rub
added newadded new
DFA automata added -- ported from rub