Vemos que el autómata acepta la cadena x⁴y⁴. Pero también se ve que acepta las cadenas del tipo x^4+jy⁴, pues el autómata no tiene ningún medio para determinar que el número de transiciones (2,x,2) sea el mismo que el número de transiciones (3,y,3); es decir, que este autómata aceptará también las cadenas del tipo xⁿy^m con n ¹ m.