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

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

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

Далее рассматриваются БА, функционирование которых описывается следующими системами уравнений состояний и выходов соответственно:

( 21.1)

( 21.2)

где - матрицы размерности - размерности - размерности - размерности .

Упомянутые матрицы будем называть далее характеристическими матрицами БА. Элементами всех этих матриц являются элементы поля .

Введем следующие обозначения:

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

( 21.3)

( 21.4)

Синхронизирующие последовательности

Применительно к БА определение 1.1 СП (в лекции 1) принимает следующий вид:

( 21.5)

Перенося в левую часть равенства (21.5) все выражения, стоящие в правой его части, получим

( 21.6)

где - нулевая матрица (в частности, вектор) соответствующей размерности.

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

( 21.7)

Доказательство. Докажем необходимость условия (21.7), поскольку его достаточность очевидна. Обозначим через матрицу, представляющую собой левую часть (21.7). Пусть есть СП, но тогда выполняется равенство (21.6). Поскольку - произвольное состояние, то положим , при котором (21.6) становится равенством . Из этого равенства следует, что . Полагая далее равным векторам , аналогичными рассуждениями придем к заключению, что и все остальные столбцы матрицы , как и ее первый столбец, нулевые. Таким образом, из (21.6) следует (21.7), что и требовалось доказать.

Из (21.7) следует справедливость следующего утверждения.

Теорема 21.2. Для того чтобы входная последовательность была СП для БС , достаточно, чтобы по крайней мере для одного из значений выполнялось равенство

( 21.8)

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

Теорема 21.3. Если характеристические матрицы и , БС являются верхними (нижними) треугольными, то для этой БС существуют СП длины, не большей , где - число строк и столбцов упомянутых матриц.

Доказательство. Пусть и , являются верхними треугольными матрицами. Тогда каждый сомножитель в произведении (21.7) также представляет собой матрицу того же типа. Условимся нумеровать диагонали этих матриц, лежащие выше главной диагонали и параллельные ей, числами . Непосредственными вычислениями легко убедиться, что все элементы первой диагонали матрицы-произведения двух верхних треугольных матриц равны нулю. Если эту матрицу вновь умножить на верхнюю треугольную матрицу, т. е. взять произведение трех сомножителей из (21.7), то в результате получится матрица, у которой нулевыми будут элементы первой и второй диагонали. Отсюда методом индукции можно доказать, что произведение штук верхних треугольных матриц даст нулевую матрицу. Тогда на основании теоремы 21.1 рассматриваемая БА имеет СП, длина которой не превосходит .

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

Поскольку БА представляет собой автомат Мили, для построения для нее УП (в частности, СП) и ДП применимы известные методы, описанные в [18], которые, однако, достаточно трудоемки, так как базируются на использовании конструкции дерева преемников. Ниже описываются аналитические методы построения различных типов последовательностей для БА, менее трудоемкие, чем методы из [18].

Опишем метод построения СП. Обратимся к равенству (21.7) и на его основе организуем пошаговый процесс поиска СП, начиная с СП длины 1 (при ), затем СП длины 2 (при ) и т. д. При варьировании величины равенство (21.7) будет принимать последовательно следующий вид:

( 21.9)

Поиск СП начнем с попытки решения первой из выписанных систем в (21.9), рассматривая в качестве неизвестных координаты вектора . Эта неоднородная система линейных уравнений имеет следующую матрицу:

Здесь элементы есть элементы матрицы . Как известно [19], эта система будет совместной, если , где - расширенная (добавлением столбца, состоящего из соответствующих элементов матрицы ) матрица той же системы. В случае совместности этой системы возможны два случая: 1) ; 2) . В первом случае система имеет единственное решение, которое дает искомую СП. Во втором случае система имеет множество решений, каждому из которых соответствует своя СП. Поскольку решение системы отыскивается среди элементов конечного поля , множество решений будет конечным.

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

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

Первое равенство в (21.9) дает следующую систему уравнений:

Легко убедиться, что она несовместна, и потому выписываем вторую систему из (21.9):

После выполнения преобразований система примет вид

В конечном счете, приравнивая каждый элемент последней матрицы нулю, получим систему уравнений

Напомним, что решение мы ищем в поле и потому операция "+" - это сложение по модулю 2. Легко убедиться, что эта система имеет два решения:

1. ;
2. .

Таким образом, рассматриваемый БА имеет две СП: и .

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

Поиск требуемой входной последовательности осуществим следующим образом. В (21.1) положим и вместо подставим состояние , а вместо - состояние . Полученное выражение будем рассматривать как систему линейных алгебраических уравнений относительно неизвестных . Очевидно, что если эта система совместна, то ее решению соответствует искомая входная последовательность. Если таких решений будет несколько, то это говорит о существовании нескольких путей перехода из в , а отсутствие решений - о невозможности требуемого перехода с помощью входной последовательности длины 1. В последнем случае сделаем попытку найти соответствующую последовательность длины 2, положив в (21.3) и заменив и соответственно на и . Если полученная система вновь окажется несовместной, то продолжим описанный процесс далее аналогичным образом. Если до значения включительно, где - число состояний БА, все последовательно получаемые системы линейных уравнений окажутся несовместными, то это означает, что переход из в невозможен, поскольку если соответствующий путь существует, то длина его не может превосходить .

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

Пусть требуется найти входную последовательность, переводящую заданную БС из состояния в состояние .

Выпишем систему уравнений, используя выражение (6.1):

Выполнив соответствующие преобразования, в итоге получим систему

Эта система имеет единственное решение , следовательно, искомая входная последовательность есть .