创建一个独家或两个确定性有限自动机（确定性有限状态机）

Question

两个DFA（确定性有限自动机或确定性Fininte-State机器 - 从这里称为DFA） 定义在集合上 DFA 1：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

以下是一些可以帮助您入门的广泛提示......

您可能希望构建另一个状态为Q3的DFA Q1和Q2的笛卡儿积的元素。从s1和s2开始，它应该是 很明显Q3的哪个元素应该被指定为开始状态 然后，给定Q3中的任何节点（Q1中的n1，Q2中的n2），它应该很容易 弄清楚每个输入的边缘需要去哪里。而F3将是一组状态 （n1，n2）其中（F2中的n1，F2中的nOR n2）。

Answer 2

Q = Q1 X Q2;

E = E;

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

s = S1与S2相交;

F = F1 XOR F2