2.6. Классификация состояний и подавтоматов

Дуга относительно данного состояния, например, может быть заходящей в если она направлена к из другого состояния, или исходящей из если она направлена от к другому состоянию, или петлей, если она выходит из и входит в На рис. 2.3 показаны эти типа дуг.

Рис. 2.3. Типы дуг.

Состояние, в котором отсутствуют заходящие и (или) исходящие дуги, может быть одним из следующих типов: (1) преходящее состояние — состояние, которое не имеет заходящих дуг, но имеет, по крайней мере, одну исходящую дугу; из этого состояния может быть осуществлен переход, по крайней мере, в одно другое состояние, но после выхода из этого состояния, в него нельзя попасть ни из какого друго; (2) тупиковое состояние — состояние, которое не содержит исходящих дуг, но содержит, по крайней мере, одну заходящую дугу; в такое состояние может быть осуществлен переход, по крайней мере, из одного другого состояния, но после перехода в это состояние из него нельзя осуществить переход ни в одно другое состояние; (3) изолированное состояние — состояние, которое не содержит ни заходящих, ни исходящих дуг; из такого состояния нельзя перейти ни в какое другое и в него нельзя попасть ни из какого другого состояния. На рис. 2.4 приведен автомат А2, в котором состояния 1 и 5 являются преходящими, состояния 2 и 4 - тупиковыми, а состояние 6 — изолированным.

Любое разбиение множества состояний автомата на два или большее число подмножеств может быть, очевидно, выполнено путем заключения представленных графом переходов состояний каждого подмножества в отдельный «прямоугольник», рассматриваемый как подавтомат.

Рис. 2.4. Автомат А2.

Рис. 2.5. Автомат А3.

На рис. 2.5 и в таблице 2.4 представлен автомат , множество состояний которого разделено на подмножества три подавтомата, изображенные в виде прямоугольников, обозначены на рисунке символами

Рассматривая каждый подавтомат как одно «сверхсостояние», преходящий, тупиковый или изолированный подавтоматы

Таблица 2.4. Таблица переходов автомата А3

могут быть определены точно так же, как преходящее, тупиковое и изолированное состояние с заменой слова «состояние» на слово «подавтомат», именно: (1) преходящий подавтомат, можно перевести, по крайней мере, в один другой подавтомат, но он не может быть достигнут после того, как оставлен; (2) тупиковый подавтомат может быть достигнут, по крайней мере, из одного другого подавтомата, но не может быть покинут после того, как он достигнут; (3) изолированный подавтомат не может быть достигнут ни из одного другого подавтомата и не может привести ни в какой другой подавтомат. Граф переходов часто позволяет визуально определить, составляет ли определенное подмножество множества состояний преходящий, тупиковый или изолированный подавтомат, и, следовательно, сделать заключение об относительной доступности этого подмножества. Например, из рис. 2.5 можно легко заключить, что — тупиковый подавтомат, — преходящий подавтомат, — изолированный подавтомат.

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

автомата . Если задано может быть определено из соотношения

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

Алгоритм 2.1. Дано найти Пусть Полагаем Определяем (а) Если ) увеличиваем А на 1 и возвращаемся к (2). (б) Если

Если должно содержать, по крайней мере, на один элемент больше, чем . Так как мощность не может превышать общее число n состояний автомата должно равняться для где r — мощность множества Следовательно,

Это значит, что алгоритм 2.1 требует не более чем итераций пункта 2. Таблица 2.5 иллюстрирует применение алгоритма к автомату , изображенному на рис. 2.5, для который дает

Таблица 2.5. Алгоритм 2.1 для автомата A3 и для

Если состоит из одного состояния называется агдостижимым множеством и представляет собой множество всех состояний, в которые можно попасть из состояния

Теорема 2.2. Пусть — два состояния в автомате с состояниями. Если вообще достижимо из то оно достижимо при подаче входной последовательности длиной не более

Доказательство. При мощность r - множества равна единице и выражение (2.8) принимает вид

Это означает, что -достижимое множество является множеством всех состояний автомата достижимых из при подаче входной последовательности длины или меньше.

Если известно, что начальное состояние автомата М принадлежит непустому множеству которое составляет тупиковый или изолированный подавтомат, то можно упростить путем исключения всех состояний, которые не принадлежат множеству и всех дуг, начинающихся в этих состояниях. Полученный автомат хотя и необязательно является адекватным представлением исходной системы во все моменты времени, но адекватен ей в смысле поведения в будущем. Это вытекает из того, что исключенные состояния никогда не могут быть достигнуты из начального состояния, и, следовательно, они в данном случае излишни. Например, если известно, что начальным состоянием автомата ЛЗ, изображенного на рис. 2.5, является состояние 1, то точный анализ поведения автомата ЛЗ в будущем может быть проведен, несмотря на то, что состояния 2, 3, 5, 6, 8, 9 и начинающиеся в них дуги будут исключены из графа переходов.