X, YB, SB,δB, λB, s0B

с одинаковым входным алфавитом X называются эквивалентами, если наблюдая их выходные реакции нельзя отличить автомат А в любом из его состояний или автомата B любом из его состояний, т.е. .

Теорема Мура.

Два конечных автомата А =