Регулярные безусловные установочные эксперименты

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

Рассмотрим дерево преемников для автомата M c n состояниями и множеством допустимых начальных состояний А(М). Пусть b есть ветвь, связанная с A-группой G, состоящей из σ-множеств g₁, g₂,..., g_u, в которой, по крайней мере, одно σ-множество, скажем g_h, не является однородным. Если g_h содержит r состояний, то оно должно содержать, по крайней мере, два состояния, скажем σ_i и σ_j, которые являются (n — r + 1)-различимыми. Следовательно, подпуть, начинающийся с b и описывающийся последовательностью ε(σ_i, σ_j), должен вести к A-группе G', которая состоит, по меньшей мере, из (u+1)-го σ-множества. Следовательно, если G является неоднородной, то всегда может быть найден подпуть длины n—r+1 или меньшей, который ведет от G к A-группе, решение которой превышает решение G. Описываемая таким подпутем подпоследовательность называется регулярной подпоследовательностью G. Таким образом, мы имеем способ, с помощью которого можем проследить установочный путь в любом заданном дереве преемников и, следовательно, построить установочную последовательность для любого М и А (М).

Алгоритм 4.7. Заданы автомат М и его множество опустимых начальных состояний А(М); требуется найти установочную последовательность для М и А(М). (1) Пусть А(М) является G₀. Полагаем k = 0. (2) (а) Если G_k не является однородным, то определим регулярную подпоследовательность, скажем ε_k, для G_k. Пусть ε_k-преемником G_k является G_k+l. Увеличиваем k на 1 и возвращаемся к (2). (б) Если G_k однородно, то ε₀ε_1... ε_k-1 есть установочная последовательность для М и А (М).

Так как решение А (M) есть 1 и так как решение любой A-группы не может превышать числа допустимых состояний m, то число подпоследовательностей, производимых алгоритмом 4.7, не превышает m— 1. Для автомата с n состояниями длина минимальной диагностической последовательности для любой пары состояний не может превосходить n—1; следовательно, длина каждой подпоследовательности в установочной последовательности, выданная алгоритмом 4.7, не может превосходить n — 1. Таким образом, мы имеем следующую теорему.

Теорема 4.12. Установочная задача для автомата с n состояниями и m допустимыми состояниями всегда может быть решена с помощью простого безусловного эксперимента длины l, где

l ≤ (n — 1)(m— 1). (4.12)

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

Следствие 4.2. Пусть М есть автомат, в котором каждая пара состояний является A-различимой. Установочная задача для М и n допустимых состояний может всегда быть решена с помощью простого безусловного эксперимента длины l, где

l ≤L(m-l). (4.13)

Алгоритм 4.7, который представляет метод построения регулярных безусловных установочных экспериментов, не требует построения какого-либо дерева; он просто требует определения различных подпоследовательностей, описываемых различными подпутями, составляющими установочный путь, что может быть выполнено рекурсивным способом, как показано выше. Метод демонстрируется таблицей 4.13, в которой для автомата A17, показанного на рис. 4.3, и множества допустимых начальных состояний {1, 2, 3, 4, 5} построен регулярный безусловный установочный эксперимент.

G0 представляет собой множество {1, 2, 3, 4, 5}, a G_k для k ≥ 1 строится на основе G_k-1, т. е. на основе предварительно определенной подпоследовательности (подпоследовательности, приведенной в последнем столбце строки k—1) и таблицы или графа переходов для A17. Пара состояний { σ_i, σ_j } есть любая пара состояний в любом однородном σ-множестве, содержащемся в G_k; ε(σ_i, σ_j) есть минимальная диагностическая последовательность для { σ_i, σ_j}, которая может быть получена по методу, описанному в § 4.4. Для того чтобы минимизировать длину индивидуальных подпоследовательностей, σ_i и σ_j можно выбрать так, чтобы они давали в результате кратчайшее ε(σ_i, σ_j). Дя автомата A17 это может быть выполнено с помощью таблицы 4.6, в которой приводится перечень минимальных диагностических последовательностей для всех пар состояний в A17. Следует отметить, что, вообще говоря, это правило выбора не гарантирует минимальности общей длины установочного эксперимента (хотя в нашем примере оказалось, что результирующая установочная последовательность является минимальной). Строка 3 в таблице — последняя, так как G₃ является однородной A-группой. Установочная последовательность строится путем выписывания последовательностей ε(σ_i, σ_j) в порядке, в котором они появляются в последнем столбце. Поэтому регулярный установочный эксперимент для A17 и множества допустимых начальных состояний {1, 2, 3, 4, 5} состоит в подаче скха и наблюдении реакции. Реакция состояний 1, 2, 3, 4 и 5 на ааа и соответствующее конечное состояние показаны в таблице 4.11.

Теорема 4.12 выявляет основную разницу между диагностической задачей и установочной задачей. В то время как диагностическая задача, вообще говоря, не может быть решена путем проведения простого эксперимента, установочная задача всегда может быть решена проведением простого эксперимента. Если задан единственный экземпляр автомата М, то начальное состояние М не всегда может быть распознано; однако всегда можно перевести М в распознаваемое состояние. Как только распознаваемое состояние достигнуто, дальнейшая реакция М на любое определенное возбуждение становится, конечно, предсказуемой. Таким образом, всегда имеется способ сделать предсказуемым автомат, для которого имеется таблица переходов, но который до проведения установочного эксперимента был непредсказуем.