DFA

确定有限自动机（DFA）是一种计算模型，它可以接受或拒绝一组由字母表组成的字符串。这种模型由五部分组成：一个有限的非空状态集合Q、一个输入符号集合Σ、一个初始状态q0、一个接受状态集F和一组转换函数δ。每个转换函数δ将当前状态和输入符号映射到下一个状态。如果在某个状态下，没有更多的输入可以读取，那么这个状态被认为是接受的。DFA是图灵完备的，意味着它可以模拟任何计算机程序。