文章目录状态转移图状态转移图中有穷机器人NFADFA
状态转移图状态转移图状态)在表示识别词素的过程中可能发生的状况的被视为状态处理完毕部分的集合的状态中，有接受状态或最终状态。 表示发现词素带有*的接受状态，表示最后读取的符号不在词素中。 开始状态用start边表示边(edge )。 从一种状态指向另一种状态； 边的标签是一个或多个符号。 状态转换图示例：
有穷自动机本质上等价于状态转移图，不确定的穷自动机(NFA )确定的穷自动机(Deterministic Finite AUtomaton，NFA )确定的穷自动机(Deterministic Finite AUtomaton ) detic DFA ) NFA与DFA的异同(NFA )一个符号标记可以与同一状态的多个边分开，一个符号可以与.DFA )对于每个状态和每个字母，离其状态只有一个边用来符号。 没有标记为的边。 都可以识别正则语言，有等价的NFA
配置：
有穷状态集合s输入符号集合变换函数，对于各状态和{}中的符号，指定将提供对应的后续状态集合的状态S0作为开始状态s的部分集合f作为接受状态例
DFANFA叫DFA，如果：
对于每个状态s和输入符号a，不需要或更高的变换操作可以有效地确定是否只有一个符号a的边可以接受为一个DFA
每个NFA都有等价的DFA