О связи линейно реализуемых автоматов и автоматов с максимальной вариативностью относительно кодирования состояний

В работе изучается как связаны класс автоматов, являющихся «просто» реализуемыми, с классом автоматов, обладающим свойством, что все операторы, задаваемые всевозможными кодированиями, являются различными. Показывается, что указанные классы автоматов имеют не пустое пересечение, и ни один из классов не лежит в другом.