确定有限自动机(DFA)和非确定有限自动机(NFA)是形式语言理论中的两种重要自动机模型,它们的核心区别如下:
1. 定义对比
| 特性 | DFA(确定有限自动机) | NFA(非确定有限自动机) |
|---|---|---|
| 状态转移 | 每个状态对同一输入符号有且仅有一个转移状态 | 同一输入符号可转移到零个、一个或多个状态 |
| 空转移(ε) | 不允许空转移(必须消耗输入符号) | 允许基于空转移(不消耗输入符号的跳转) |
| 接受条件 | 仅当最终状态唯一且明确时接受输入 | 只要存在一条路径到达接受状态即接受输入 |
2. 形式化区别
DFA的五元组定义
DFA=(Q,Σ,δ,q0,F)DFA=(Q,Σ,δ,q0,F)
-
δ: 转移函数 Q×Σ→QQ×Σ→Q(单值)
NFA的五元组定义
NFA=(Q,Σ,δ,q0,F)NFA=(Q,Σ,δ,q0

4457

被折叠的 条评论
为什么被折叠?



