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.