Функциональный контроль некоторых типов линейных последовательностных машин

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