U ovom primeru, desni je funkcionalan.
Razlog: sekvenca simbola a b se u slučaju levog automata može preslikati u x z ali i u y w.