入的字符串是否包含偶数个0。formula_2能识别的语言是formula_33。用正则表达式表示为：formula_34。
封闭性及一些运算.
封闭性.确定有限状态自动机的交，并，差，补，连接，替换，同态，逆同态等运算是封闭的，也就是说确定有限状态自动机通过这些运算产生的新的自动机也是确定有限状态自动机。
补运算.formula_35是一个DFA，那么由补运算产生的新DFA定义为：formula_36。显然只要将formula_