Annotated deterministic finite state automata

• 标识确定性有限状态机ADFSA