确定性有限自动机:bugfix
非确定性有限自动机:nfa_design实现