状态formula_30表示在输入的字符串中有偶数个0，而formula_31表示有奇数个0。在输入中1不改变自动机的状态。当读完输入的字符串的时候，状态将显示输入的字符串是否包含偶数个0。formula_2能识别的语言是formula_33。用正则表达式表示为：formula_34。
封闭性及一些运算.
封闭性.确定有限状态自动机的交，并，差，补，连接，替换，同态，逆同态等运算是封闭的，也就是说确定有限状态自动机通过这些运算产生的新的自动机也是确定有限状