Книги и конспекты / Шпоры / 26

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

График 1-неэквивалентных состояний для данного автомата имеет вид:

G(E′ ) = {(q1, q5), (q2, q5), (q3, q5), (q4, q5)}.

1

Согласно теореме 17, график 2-неэквивалентных состояний состоит из 1-неэквивалентных состояний и тех пар состояний, которые под действием некоторого входного символа переходят в 1- неэквивалентные состояния, т.е.

G(E′ ) = G(E′ ) {(q1, q3), (q2, q3), (q3, q4)}.

2 1

Аналогично,

G(E′ ) = G(E′ ) {(q1, q2), (q2, q4)}.

3 2

Дальнейший перебор показывает, что ( ′ ) = ( ′ ). Таким обра-

G E3 G E4

зом, G(E4) = G(E3), E = E3 и q1Eq4, а остальные пары состояний неэквивалентны.

3.2. Неполностью определенные автоматы

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

56

Для описания способа минимизации неполностью определенных автоматов нам потребуются следующие определения.

Оп р е д е л е н и е 36. Входная последовательность x = x0, x1, ..., xr−1 называется допустимой для автомата в начальном состоянии qj , если функция F перехода в следующее состояние определена для всех элементов последовательности,

кроме, возможно, последнего.

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

О п р е д е л е н и е 37. Выходная строка y покрывает выходную строку y ( в которой могут быть неопределенные символы), если всякий определенный символ yj в y равен соответствующе-

му символу yj в y.

Например, строка y = 0, 1, 1 покрывает строку y =—,1,1. Строка 0,1,0 покрывает —,1,0. Если y покрывает y, то пишем y ≥ y.

О п р е д е л е н и е 38. Если ζr (qk , x) ≥ ζr (qj , x) для всех x

допустимых для qj , мы пишем qk ≥ qj и говорим, что qk покрывает qj .

О п р е д е л е н и е 39. Автомат M покрывает автомат M , если для каждого состояния qj автомата M существует такое состояние qk автомата M , что ζr (qk , x) ≥ ζr (qj , x) для всех x,

допустимых для qj .

В этом случае мы пишем M ≥ M . Очевидно, в случае M = M состояние qk покрывает qj , если ζr (qk , x) ≥ ζr (qj , x) для всех x, допустимых для qk , и мы пишем qk ≥ qj .

Рассмотрим следующие автоматы

57

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

Оп р е д е л е н и е 40. Выходная строка y совместима

свыходной строкой y, если в каждой позиции, где символы обеих строк определены, они совпадают. В этом случае мы будем

писать yγy.

Например, строка 0,1,—,1 совместима с 0,—,1,—, или с —,0,— ,1. Заметим, что γ не является отношением эквивалентности. Оно рефлексивно, симметрично, но не транзитивно.

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

О п р е д е л е н и е 41. Состояние qi называется совместимым по выходу с состоянием qj , если ζ(qi, x)γζ(qj , x) для

всех . В этом случае мы пишем i 1 i. Если состояния не x X q σ q

1

совместимы по выходу, мы пишем qk σ′ qi.

Иначе говоря, два состояния совместимы по выходу, или 1- совместимы, если для каждого входного символа их выходы совпадают, когда они определены.

О п р е д е л е н и е 42. Состояния qi и qj называются совместимыми, если для всех x Xr , допустимых как для qi,

так и для qj , имеем ζr (qi, x)γζr (qj , x).

В этом случае мы пишем qiσqj . Если qk и ql совместимы не для всех x, мы пишем qk σ′ql. Если состояния qi и qj совместимы для всех строк фиксированной длины k, то состояния qi и qj называем

58

Для упрощения записи состояние qi будем обозначать через i. Тогда график 1-совместимых состояний будет иметь вид:

1

G(σ) = (1, 2)(1, 3)(1, 4)(1, 5)(2, 3)(2, 4)(3, 4)(3, 5)(4, 5)

Вычислим графики несовместимых состояний. Для чего по автомату M вычислим следующую таблицу совместимости для 1- совместимых состояний и воспользуемся Теоремой 17 о несовместимых состояниях:

Те пары 1-совместимых состояний, которые переходят под действием некоторого входного символа в пару 1-несовместимых состояний, согласно теореме 2 оказываются 2-несовместимыми и т.д. Последовательное вычисление несовместимых состояний дает:

G(σ′) = (2, 5), G(σ′) = (2, 5)(1, 3),

G(σ′) = (2, 5)(1, 3)(1, 5), G(σ′) = (2, 5)(1, 3)(1, 5)(2, 4)

Таким образом, график совместимых состояний будет иметь вид:

G(σ) = (1, 2)(1, 4)(2, 3)(3, 4)(3, 5)(4, 5)

Расширим теперь понятие совместимости, учитывая, что склеиваться могут не только пары состояний.

О п р е д е л е н и е 43. Совместимым классом Ck называется такое множество внутренних состояний q1, q2, ..., qm, что

qiσqj для всех qi, qj Ck .

Для выше приведенного автомата совместимые классы таковы: (1,2),(1,4),(2,3), (3,4),(3,5),(4,5).

59

Оп р е д е л е н и е 44. Некоторое множество совместимых классов называется согласованным, если для любого класса

Ck из этого множества и любых его элементов qi, qj внутренние состояния F (qi, xk ), F (qj , xk ) принадлежат подходящему совместимому классу Ci для любого входного символа xk .

Оп р е д е л е н и е 45. Некоторое множество совместимых классов называется замкнутым, если всякое внутреннее состояние автомата принадлежит хотя бы одному из этих классов.

Теорема 18. Пусть задано замкнутое согласованное множество совместимых классов для автомата M . Тогда существует автомат M , состояния которого получаются склеиванием всех состояний M , содержащихся в одном совместимом классе

из данного множества.

Д о к а з а т е л ь с т в о. Пусть задано замкнутое согласованное множество совместимых классов. Склеим все состояния класса Ci в одно новое состояние qj . Определим ζ(qj , xk ) как ζ(qi, xk ), если эти значения определены для всех qi Ci. Определим F (qj , xk ) как qm, если F (qj , xk ) Cm для всех qi Ci. Каждое новое состояние покрывает все состояния соответствующего класса.

Очевидно, для получения минимального автомата M , необходимо выбрать замкнутое согласованное множество совместимых классов, состояшее из наименьшего числа согласованных классов. Вт предыдущем примере таким множеством является (1,2),(2,3),(4,5), а соответствующий минимальный автомат имеет вид

60