如何基于DFA1和DFA2的转换创建DFA联合转换字典

Question

我有两个DFA，其转换如下所示：

DFA1 
{('q0', 'a'): 'q1', ...}

DFA2
{('q0', 'a'): 'q3',...}

据我所知，统一DFA的delta应该是这样的：

{(('q0', 'a'): 'q1'), (('q0', 'a'): 'q3')),...and so on}

如何合并这两个字典以创建统一delta字典的元组？你知道吗

如果我做DFA2.update(DFA1)，结果就是{('q0', 'a'): 'q1'}。为什么这不起作用？我该如何使它起作用？你知道吗

Answer 1

我建议您将DFA转换表示为一组元组，而不是字典的键值对。这是很好的，因为你将在有关DFA的许多算法集运算工作。你知道吗

示例：

t1 = {('q0', 'a', 'q1'), ('q1', 'a', 'q2'), ...}
t2 = {('q0', 'a', 'q2'), ('q1', 'b', 'q2'), ...}

通过t1.union(t2)，您将获得：

{('q0', 'a', 'q1'), ('q0', 'a', 'q2'), ('q1', 'a', 'q2'), ('q1', 'b', 'q2'), ...}

但是，如果您坚持使用字典，那么您可以参考this线程。你知道吗