Равенство, равносильность, эквивалентность, изоморфизм

Автоматы равны тогда, когда у них одинаковое описание.

Автомат можно упростить, тогда упрощенный и исходный автоматы будут равносильными.

Два автомата считаются изоморфными, если выполняются следующие два условия:

1) между X, Y и S обоих автоматов можно установить взаимно однозначные соответствия;

2) при учете этих соответствий автоматы оказываются равными.