Линейные автоматы существенно без потери информации

В работах Хаффмена [76] и Ивена [74] были впервые введены автоматы без потери информации (БПИ) и автоматы БПИ конечного порядка (БПИК). Эти автоматы позволяют восстановить неизвестную входную последовательность по наблюдаемой реакции и известному начальному состоянию. В работах [43], [46] были введены и исследованы так называемые автоматы существенно без потери информации (СБПИ) и автоматы СБПИ конечного порядка (СБПИК), являющиеся неинициальными, т. е. такими, у которых начальное состояние неизвестно. В упомянутых работах в терминах графов переходов автомата были получены критерии принадлежности конкретных автоматов перечисленным классам. Заметим, что проверка этих критериев является достаточно трудоемким делом. Ниже будет показано, что для линейных автоматов аналогичные критерии могут быть сформулированы в терминах характеристических матриц и проверяются они достаточно просто.

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

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

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

Напомним определение автомата БПИ, данное Хаффменом [76] в связи с рассмотрением следующей задачи. На автомат, находящийся в известном начальном состоянии , подается неизвестная входная последовательность (слово) и наблюдается реакция w автомата на это слово. Требуется построить эксперимент, проводимый с автоматом после подачи слова , позволяющий распознать его. Автоматы, для которых сформулированная задача может быть решена независимо от входной последовательности и начального состояния, называются автоматами БПИ.

В монографии А. Гилла [19] применительно к линейным автоматам также введено иное определение автомата БПИ: линейный автомат называется автоматом БПИ, если по его начальному состоянию и наблюдаемой выходной реакции можно однозначно восстановить неизвестное входное слово. Таким образом, в этом определении, в отличие от определения Хаффмена, проведения дополнительного эксперимента не требуется.

Покажем, что эти два определения применительно к ЛА являются эквивалентными. Докажем утверждение, которое понадобится для этого.

Лемма 15.1. Если ранг матрицы ЛА А равен , то из любой вершины графа переходов этого автомата не может выходить более одной дуги, помеченной одним и тем же выходным сигналом.

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

Вернемся теперь к вопросу об эквивалентности двух приведенных выше определений автомата БПИ.

Пусть автомат Мили , находящийся в состоянии , после подачи на него неизвестного входного слова выдал слово и перешел в состояние , неизвестное экспериментатору. Подадим на вход установочное слово (оно всегда существует, если автомат Мили минимален) и по реакции определим его конечное состояние . В [18] доказано, что по состоянию однозначно устанавливается состояние . Наконец, знание состояний и и реакции дает возможность распознать входное слово . Таким образом, установочный эксперимент играет роль лишь промежуточного звена для определения состояния .

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

Приведем критерий принадлежности автомата классу автоматов БПИ, доказанный в [19].

Теорема 15.1. Для того чтобы ЛА являлся ЛА БПИ, необходимо и достаточно, чтобы ранг матрицы равнялся .

Доказательство. Из уравнения переходов ЛА (10.1) следует, что

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

Ясно, что справедливость теоремы легко теперь доказать методом математической индукции.

Введем еще одну разновидность автоматов БПИ.

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

Для однозначного определения числа будем считать, что оно является минимальным из всех возможных чисел такого рода и называть порядком ЛА . Условимся далее ЛА СБПИК порядка обозначать как ЛА СБПИК- .

Перейдем теперь к нахождению критерия принадлежности ЛА классу автоматов СБПИК- .

Введем в рассмотрение следующие матрицы:

( 15.1)

Принципы построения этих матриц легко получить из формулы (1.4).

Условимся через и обозначать векторы

Используя эти обозначения, запишем в матричной форме следующую СЛАУ:

( 15.2)

где неизвестными являются координаты вектора .

Используя метод Гаусса решения СЛАУ [33], матрицу , к которой добавлен столбец , всегда можно привести к виду

Здесь - вектор, компоненты которого получены из компонент вектора в процессе преобразования по методу Гаусса матрицы с добавленным к ней столбцом в матрицу . Выделим из подматрицу, состоящую из первых строк с отброшенным последним столбцом , а также столбцами c 1-го по -й:

Теорема 15.2. Для того чтобы ЛА был автоматом СБПИК- , необходимо и достаточно, чтобы была нулевой матрицей.

Доказательство.Восстановление первого символа неизвестного слова по известной реакции , как нетрудно понять, эквивалентно нахождению решения СЛАУ

( 15.3)

где - единичная матрица размерности - вектор, состоящий из первых координат вектора . Если , то система (15.3) в координатной форме записи примет вид

Таким образом, , составляющие первый символ неизвестного входного слова ЛА, находятся однозначно. Отсюда следует достаточность условий теоремы.

Понятно, что если , то система (15.3) имеет не единственное решение и, следовательно, однозначное восстановление неизвестного первого входного символа невозможно. Таким образом, условие теоремы является и необходимым.

Пользуясь теоремой 15.2, порядок СБПИК можно определить, проверяя равенство последовательно для Наименьшее значение , для которого это равенство будет выполняться, и будет давать искомый порядок.

Проиллюстрируем изложенное на примере ЛА, заданного над полем GF(2) следующими характеристическими матрицами ( ):

Пусть на этот ЛА подан неизвестный входной символ и на его выходе наблюдается символ .

Построим матрицу

Преобразование ее по методу Гаусса (с отбрасыванием нулевых строк) дает матрицу

Поскольку в отсутствует строка вида (0 1 0 …), то символ заведомо не восстанавливается по одному наблюдаемому выходному символу. Отсюда следует, что порядок рассматриваемого ЛА больше единицы.

Пусть на исследуемый ЛА подан еще один неизвестный входной символ и на него получена реакция . Сформируем матрицу

Преобразование ее по методу Гаусса с отбрасыванием нулевых строк дает матрицу

В последней матрице подматрица . Из первых двух строк матрицы получаем искомый результат:

Таким образом, порядок исследуемого ЛА равен 2, а при заданных реакциях на входное слово длины 2 первый символ этого слова есть (1, 0)'.

Остановимся теперь на вопросе о том, какой схемой можно восстановить неизвестный входной символ входного слова. Общий вид схемы, решающей эту задачу для ЛА СБПИК- , изображен на рис.15.1, где - элемент единичной задержки. Она содержит m сдвиговых регистров, каждый из которых состоит не более чем из элементов задержки. Выходы элементов задержки представляют собой значения , которые подаются на комбинационную схему с выходами. Эта схема выполняет над перечисленными сигналами операции в соответствии с выражениями, полученными в первых позициях последнего столбца матрицы .

Рис. 15.1.

Понятно, что для ЛА над полем GF(2) соответствующая комбинационная схема содержит только сумматоры по модулю 2, а ее выходами являются компоненты первого символа неизвестного входного слова.

Для рассмотренного примера описанная схема восстановления сигналов и представлена на рис.15.2.

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

Рис. 15.2.

Кроме того, если для автоматов Мили критерии принадлежности их различным разновидностям автоматов БПИ сформулированы в [19] в терминах довольно громоздких конструкций так называемых проверочных графов, то для ЛА соответствующие критерии удалось сформулировать в терминах их характеристических матриц, довольно просто проверяемых.

Вопросы и упражнения

1. Приведите определение автомата без потери информации.
2. Сформулируйте критерий принадлежности автомата этому классу.
3. Определите класс линейных автоматов существенно без потери информации конечного порядка.
4. Сформулируйте критерий принадлежности автомата этому классу.
5. Опишите метод синтеза комбинационной схемы для восстановления первого символа неизвестного слова, поданного на вход автомата БПИК.