确定有限自动状态机和非确定有限自动状态机详解（Nondeterministic finite automata）