两个 DFA(Deterministic Finite Automaton 或 Deterministic Fininte-State Machines - 从这里开始称为 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 在 a 0 上进入 b
s 是起始状态
F是最终状态
您将如何取两个 DFA L1 和 L2 的异或