先决条件–设计有限的自动机
让我们通过示例了解两个DFA的交集。
为{0，1}上的字符串集设计DFA，使其以01结尾并具有偶数0f 1。
将形成两种所需的语言：
L1= {01, 001, 101, 0101, 1001, 1101, ....}
L2= {11, 011, 101, 110, 0011, 1100, .....}L = L1 and L2 = L1 ∩ L2 语言L 1的状态转换图：
这是语言L 1的DFA
它接受所有以01结尾的字符串。
语言L 2的状态转换图：
这是语言L 2的DFA
它接受所有偶数为1的字符串。
L 1的状态转移图∩大号2：
L 1和L 2的交集可以用这样一种语言来解释，即{0，1}上的字符串接受为以01结尾且偶数为1的字符串。
L = L1 ∩ L2
= {1001, 0101, 01001, 10001, ....} 
因此，如我们所见，L 1和L 2已通过交集过程组合在一起，并且此最终DFA接受具有偶数1且以01结尾的所有语言。