נגדיר D = { w | # a ( w ) even ⋀ # b ( w ) odd ⋀ a b ∉ w } {\displaystyle D=\{w\;|\;\#_{a}(w){\text{ even }}\bigwedge \#_{b}(w){\text{ odd }}\bigwedge ab\notin w\}} , כאשר # x ( y ) {\displaystyle \#_{x}(y)} הוא מספר המופעים של האות x {\displaystyle x} במחרוזת y {\displaystyle y} .
הראה מכונה בעלת 4 מצבים המזהה שפה זו.
