automatas, DFAs