autómata .cadena que acepta múltiplos de 3