Эксперименты с билинейными автоматами по распознаванию состояний

Установочные последовательности

Условия существования такой последовательности даются следующей теоремой.

Теорема 21.4. Для того чтобы последовательность была УП для БА , необходимо и достаточно, чтобы для каждого ненулевого состояния выполнялось по крайней мере одно из двух условий:

1. ;
2. 

Здесь знак означает дизъюнкцию (конъюнкцию) выражений, стоящих за этим знаком и получаемых при изменении индекса от 0 до . Условимся о следующем: если при вычислении и окажется, что при некоторых и , то в соответствующем выражении сомножители и полагаются равными единичной матрице.

Доказательство. Применительно к БА определение 1.2 УП принимает следующий вид: последовательность называется УП, если

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

Поскольку и - произвольные не совпадающие между собой состояния из , то и состояние также может быть любым ненулевым состоянием из . Отсюда следует, что последний предикат эквивалентен предикату

Поскольку эквивалентно , то последний предикат эквивалентен следующему предикату

Из этого предиката и следует справедливость теоремы.

Проиллюстрируем предложенный метод на примере БА над полем , у которого , а характеристические матрицы таковы:

Первое условие теоремы 21.4 при порождает систему уравнений

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

Каждая из этих систем относительно неизвестных имеет не единственное решение, и поэтому условие 1 теоремы 21.4 для всех входных последовательностей длины 1 не выполняется. Перейдем теперь к проверке условия 2 той же теоремы, которое при порождает систему

Легко проверить, что эта система имеет единственное (нулевое) решение при любом , т. е. условие 2 также не выполняется. Поэтому перейдем к поиску УП длины 2, полагая .

Условие 1 теоремы 21.4 порождает следующую систему уравнений:

В координатной записи эта же система имеет следующий вид:

Теперь необходимо рассмотреть все возможные пары векторов и, подставляя их в выписанную выше систему, получить множество систем линейных уравнений относительно неизвестных . Вычисления показывают, что, например, для пар входных векторов и первая подсистема имеет ненулевое решение ( и соответственно), а вторая подсистема для этих же пар входных векторов имеет единственное (нулевое) решение. Последний факт означает, что условие 1 теоремы выполняется, следовательно, обе приведенные входные последовательности являются для рассматриваемого БА установочными. Заметим, что этот БА имеет и другие УП длины 2, которые находятся аналогично.

Для подтверждения сказанного, в приведенной таблице показаны реакции рассматриваемого БА на две найденные входные последовательности и соответствующие конечные состояния. Состояния БА в таблице закодированы в виде десятичного эквивалента двоичного представления вектора-состояния. Так, например, состояние закодировано числом 4, состояние - числом 5 и т. д.

Аналогичная кодировка в таблице принята для входных и выходных векторов. Так, УП закодирована как последовательность 0, 2; а УП - как последовательность 3, 0.

Диагностические последовательности

Условия существования такой последовательности даются следующей теоремой.

Теорема 21.5. Для того чтобы последовательность была ДП для БА , необходимо и достаточно, чтобы

Доказательство. Применительно к БА определение 1.3 ДП принимает следующий вид: последовательность называется ДП, если

Выполнив преобразование так же, как это делалось в предыдущем доказательстве, получим предикат

Если последовательность является для БА диагностической, то это означает, что знание реакции БА на нее позволяет однозначно найти ее начальное состояние. Выходы БА на ДП, используя (21.4), можно представить как функции от начального состояния :

Поскольку ДП и реакция БА на нее известны, выписанные соотношения можно представить в виде

где - некоторые значения из поля .

Выписанную совокупность соотношений можно интерпретировать как систему линейных уравнений относительно неизвестных , являющихся координатами вектора-состояния . Однозначность восстановления начального состояния по наблюдаемой реакции при известной входной последовательности означает, что представленная система линейных уравнений должна иметь единственное решение. Из [33] известно, что для этого необходимо и достаточно, чтобы ранг этой системы был равен числу ее неизвестных. Отсюда и следует справедливость теоремы.

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

Размерность матрицы равна , следовательно, ее ранг не может превышать 2. Но тогда, поскольку для рассматриваемой БС , условие теоремы 21.5 при не может быть выполнено. В связи с этим перейдем к перебору всевозможных входных слов длины 2 (полагая ). Рассмотрим, например, входное слово . Для него матрица из условия теоремы 21.5 имеет вид

Поскольку ранг этой матрицы равен 3, проверяемое слово 3, 0 есть ДП. В этом можно убедиться по данным, приведенным в таблице. Для другого входного слова та же матрица из условий теоремы равна

Ранг ее также равен 3, следовательно, входное слово 0, 2 также является ДП для рассматриваемого БА. Таким образом, оба входных слова 3, 0 и 0, 2 являются для рассматриваемого БА одновременно УП и ДП.

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

1. Приведите определение билинейного автомата и выпишите уравнения состояний и выходов, описывающие его функционирование.
2. Дайте определения синхронизирующей, установочной и диагностической последовательностей билинейного автомата в терминах его характеристических матриц.
3. Сформулируйте и докажите критерий существования синхронизирующей последовательности для билинейного автомата.
4. Опишите аналитический метод построения синхронизирующей последовательности для билинейного автомата.
5. Сформулируйте и докажите критерий существования установочной последовательности для билинейного автомата.
6. Опишите аналитический метод построения установочной последовательности для билинейного автомата.
7. Сформулируйте и докажите критерий существования диагностической последовательности для билинейного автомата.
8. Опишите аналитический метод построения диагностической последовательности для билинейного автомата.