从两个确定性有限自动机（确定性有限状态机）创建异或

Question

在集合DFA 1上定义了两个DFA（确定性自动机或确定性有限状态机-从此处开始将称为DFA）L1 = {Q1，E，D1，s1，F} DFA 2：L2 = {Q2， E，D2，s2，F}

Q是状态列表。 例如1、2、3、4或a，b，c，d

E是语言Ex。 0，1

D是过渡集Ex。 {（a，0，b）}状态a在0处进入b

s是起始状态

F是最终状态

您如何将两个DFA L1和L2排除在外？

Answer 1

这里有一些广泛的提示可以帮助您入门...

您可能需要构建另一个DFA，其状态Q3由Q1和Q2的笛卡尔积的元素标识。 从s1和s2开始，应该很明显地将Q3的哪个元素指定为开始状态。
然后，给定Q3中的任何节点（Q1中的n1，Q2中的n2），应该很容易找出每个输入的边沿位置。 F3将拥有一组状态（n1，n2），其中（F1中的n1与F2中的n2相乘）成立。

Answer 2

Q = Q1 X Q2;

E = E;

D是两个系统都同意的所有转换；

s = S1与S2相交；

F = F1 XOR F2