с одинаковым входным алфавитом являются эквивалентными тогда и только тогда, когда для любого достижимого состояния (sa, sb) в их прямом произведении А´В справедливо: .