Requirements on types

• DFA is a model of DFA.
• DFA::tag_type is hash_tag defined in hash.h
• The transitions of DFA are sorted.