Эквивалентные преобразования управляющих автоматов, генерируемых по описанию поведения объектов управления

Выделяется класс автоматов, порождаемых описанием вход-выходной последовательности на первичном языке. Показывается, что автоматы этого класса не эквивалентны в обычном автоматном смысле. Между ними вводится отношение частичного порядка, определяемое отношением пересечения соответствующих входных и выходных алфавитов. Автоматы, упорядоченные по такому принципу, образуют структуру. Автоматы одного уровня в структуре зависят от одного и того же числа переменных и имеют сравнимую память. Для элементов структуры доказаны соотношения в виде автоматных композиционных и декомпозиционных уравнений.