补运算.formula_35是一个DFA，那么由补运算产生的新DFA定义为：formula_36。显然只要将formula_2中接受的状态设为不接受的状态，同时把不接受的状态设为接受的状态就得到formula_38。补运算的复杂度是：formula_39。
交运算和并运算.有两个DFA，formula_40和formula_41，那么由这两个DFA创造出来的新的自动机定义为：formula_42。其中formula_43，formula_44为formu