hola:
que en la solución el autómata no sea determinista no quiere decir que no pueda existir otro que reconozca al lenguaje que sí lo sea (aunque también es cierto que no todo LLC tiene un APD determinista asociado).
sobre ese dibujo en particular: se reconocen mezclas de sectores de "01" con sectores "10", cosa que no sucede en las tiras del lenguaje dado.
saludos,
d.-