DFA与NFA：迷宫中的单行道与多选题-CSDN博客

本文链接：https://blog.csdn.net/qq_33060405/article/details/148053393

摘要

DFA（确定性有限自动机）和NFA（非确定性有限自动机）是两种常见的自动机模型。DFA每一步只有一个明确的选择，类似于单行道迷宫，规则简单且不会迷路。NFA则允许每一步有多种选择，甚至可以“分身”同时尝试多条路径，类似于多选题迷宫，灵活性更高。DFA适用于角色状态切换、菜单导航等规则明确的场景，而NFA则常用于复杂AI决策、剧情分支等需要多路径探索的场景。尽管NFA看起来更灵活，但实际上任何NFA都可以转换为等价的DFA，只是DFA的状态可能更多。在游戏开发中，DFA和NFA分别用于处理单一流程和多分支逻辑，是游戏逻辑和AI系统的核心工具。

一、什么是DFA和NFA？

DFA（Deterministic Finite Automaton）：确定性有限自动机。每一步只有一条明确的路可以走。
NFA（Nondeterministic Finite Automaton）：非确定性有限自动机。某一步可能有多条路可以选，甚至可以“分身”走多条路。

二、生活化比喻

1. DFA：单行道的迷宫

想象你在一个迷宫里，每到一个路口，只有一条路能走（根据你手里的指令，比如“向左”或“向右”）。
每一步都只有一个选择，绝不迷路。

比如：

你拿到“向左”指令，只能走左边那条路。
你拿到“向右”指令，只能走右边那条路。

就像玩“推箱子”游戏，每一步只有一种合法操作。

2. NFA：多选题的迷宫

现在你在另一个迷宫，每到一个路口，可能有好几条路都符合你的指令。
你可以“分身”同时走多条路，看看哪条能走到终点。

比如：

你拿到“向前”指令，这个路口既可以向左，也可以向右，也可以原地不动。
你可以同时尝试所有可能的路，最后只要有一条能到终点就算成功。

就像玩“解谜”游戏，有时候一个谜题可以有多种解法，你可以同时尝试。

三、游戏中的DFA和NFA

DFA在游戏中的例子

角色动作切换：比如站立时按下跳跃键只能跳跃，按下攻击键只能攻击。每种输入只有唯一的结果。
菜单导航：按“上”只能到上一个选项，按“下”只能到下一个选项。

NFA在游戏中的例子

怪物AI的“分身”思考：有时怪物遇到玩家时，可以选择追击、逃跑或隐藏，三种行为都可能发生，系统会同时考虑多种可能。
剧情分支：玩家做一个选择，可能同时触发多个剧情分支，最后只要有一个分支能通关就算成功。

四、形象小结

类型	生活/游戏比喻	特点
DFA	单行道迷宫、推箱子	每一步只有一条路，绝不迷路
NFA	多选题迷宫、解谜分支	每一步可能有多条路，可以“分身”尝试

五、简单图示

DFA

[状态A] --a--> [状态B] --b--> [状态C]

输入a时只能去B，输入b时只能去C。

NFA

[状态A] --a--> [状态B]
   |         /
   |--a-----/

输入a时，既可以去B，也可以留在A，甚至可以同时去多个状态。

六、代码小例子

DFA

dfa = {
    'A': {'a': 'B'},
    'B': {'b': 'C'},
    'C': {}
}
state = 'A'
for ch in 'ab':
    state = dfa[state][ch]
print(state)  # 输出 'C'

NFA

nfa = {
    'A': {'a': ['A', 'B']},  # 输入'a'可以留在A，也可以去B
    'B': {'b': ['C']},
    'C': {}
}
states = {'A'}
for ch in 'ab':
    next_states = set()
    for s in states:
        next_states.update(nfa.get(s, {}).get(ch, []))
    states = next_states
print(states)  # 输出 {'C'}

七、总结

DFA：每一步只有一条路，像单行道，走得很“死板”，但不会迷路。
NFA：每一步可以有多条路，像多选题，可以“分身”尝试多种可能，最后只要有一条路能到终点就算成功。

我们继续用生动形象的方式，进一步解释DFA和NFA，并补充它们的联系、区别，以及在实际游戏开发中的应用和转换。

八、DFA和NFA的联系与区别

1. 联系

本质上，DFA和NFA都用来“识别”某种规则或流程。
NFA看起来更“灵活”，但其实任何NFA都可以转换成等价的DFA。
也就是说，NFA能做的事情，DFA也能做，只是DFA可能会更“庞大”一些。

2. 区别

方面	DFA（确定性）	NFA（非确定性）
状态转移	每个输入只有一个去向	每个输入可以有多个去向
处理方式	只能一条路走到底	可以“分身”多路并行
实现难度	逻辑简单，易于实现	逻辑复杂，需多路尝试
性能	速度快，空间大	速度慢，空间小