确定有穷自动机DFA

确定的有穷自动机

NFA的不确定性使其不易模拟，需要维护多个状态，跟踪多个路径。

这样可以高效判断一个串是否能被一个DFA接受，每个NFA都有一个等价的DFA，即它们接受相同的语言。

DFA的模拟运行

结合输入符号是字符，nextChar 读入下一个字符，move 给出了离开状态s且标号为c的边的目标状态。