你能跳过联合表达式中的 epsilon 转换吗(汤普森的构造算法)

Can you skip epsilon transitions in union expression (Thompson's construction algorithm)

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

,它们是等价的(它们识别同一种语言)。更正式地说:

首先,让我们为您的州命名:

现在,通过 powerset construction,让我们删除 epsilon 转换:

最后,我们可以使用任何 DFA 最小化算法,例如 Brzozowski's(反转箭头,再次应用幂集构造,re-reverse 箭头)来获得结果 DFA。