你能否在联合表达式中跳过epsilon过渡（Thompson的构造算法）

Question

在下图中我可以互换使用两个NFA吗？如果不是那么为什么？

Answer 1

是，它们是等效的（它们识别相同的语言）。更正式地说：

首先，让我们给你的州命名：

现在，通过powerset construction，让我们删除epsilon过渡：

最后，我们可以使用任何DFA最小化算法，例如Brzozowski's（反转箭头，再次应用powerset构造，重新反转箭头）以获得生成的DFA。