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

两个DFAs确定性有限自动机或确定性有限状态机-从这里开始称为DFAs 在集合上定义 DFA1:L1={Q1，E，D1，s1，F} dfa2:L2={Q2，E，D2，s2，F}

Q是州的列表。例1、2、3、4或a、b、c、d

E是语言，例如0，1

D是转换集，例如{a，0，b}状态a在0上转到b

s是起始状态

F是最终状态

---

您将如何使用两个DFA L1和L2的“异或”和“异或”

以下是一些大致的提示，帮助您开始使用

您可能希望构建另一个DFA，其状态Q3用 Q1和Q2的笛卡尔乘积的元素。从s1和s2开始，应该是 很明显，Q3的哪个元素应该被指定为开始状态。 然后，给定Q1中的任何节点n1，Q3中Q2中的任何节点n2，应该很容易 找出每个输入的边需要去哪里。F3将是一组状态 n1，n2，其中F1中的n1或F2中的n2保持不变。

Q=Q1 X Q2

E=E

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

s=S1与S2相交

F=F1或F2