Транзитивные системы называют бисимуляционно эквивалентными, если:
(Отметьте один правильный вариант ответа.)
Варианты ответа
каждое состояние эквивалентно другой системе
каждое состояние неэквивалентно состоянию другой системы
каждое состояние эквивалентно состоянию другой системы(Верный ответ)