在非确定性有限自动机(NFA)中,当有两个或多个转换时,如何选择下一个branch/transition?

In Non-Deterministic Finite Automata (NFA), how is the next branch/transition selected when there are two or more transitions?

对于NFA,当有2个或更多的过渡状态时,机器如何决定采用哪个过渡?

我只能找到“猜​​测和验证” 方法,我们认为系统是千里眼,总是使用二叉树选择正确的路径。

只有这个方法吗?是不是也可以认为是两种状态同时存在?

您可以认为它尝试了所有可能的选项,NFA 接受一个词如果存在从初始状态到使用该词的接受状态的路径