你能跳过联合表达式中的 epsilon 转换吗(汤普森的构造算法)
Can you skip epsilon transitions in union expression (Thompson's construction algorithm)
下图中两个NFA可以互换使用吗?如果不是那为什么?
是,它们是等价的(它们识别同一种语言)。更正式地说:
首先,让我们为您的州命名:
现在,通过 powerset construction,让我们删除 epsilon 转换:
最后,我们可以使用任何 DFA 最小化算法,例如 Brzozowski's(反转箭头,再次应用幂集构造,re-reverse 箭头)来获得结果 DFA。
下图中两个NFA可以互换使用吗?如果不是那为什么?
是,它们是等价的(它们识别同一种语言)。更正式地说:
首先,让我们为您的州命名:
现在,通过 powerset construction,让我们删除 epsilon 转换:
最后,我们可以使用任何 DFA 最小化算法,例如 Brzozowski's(反转箭头,再次应用幂集构造,re-reverse 箭头)来获得结果 DFA。