ГЛАВА 2. После того как для данной системы установлены входной алфавит, выходной алфавит и множество состояний

ТАБЛИЦЫ, ГРАФЫ И МАТРИЦЫ ПЕРЕХОДОВ

Введение

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

Таблица переходов

Характеристические функции f_z и f_s, определяемые уравнениями (1.5) и (1.6), могут быть представлены в форме таблицы, известной под названием таблицы переходов. Таблица содержит перечень значений этих функций для всех возможных аргументов, т. е. для всех возможных упорядоченных пар (x_v, s_v), где x_v принадлежит входному алфавиту X, a s_v — множеству состояний S. Образец таблицы переходов для автомата с входным алфавитом { ξ₁, ξ₂,..., ξ_p }, выходным алфавитом { ζ₁, ζ₂,..., ζ_q } и множеством состояний {σ₁, σ₂,..., σ_n} представлен таблицей 2.1. Таблица состоит из двух соседних подтаблиц z_v -под таблицы и s_v+1 -подтаблицы, которые определяют функции f_z и f_s соот

ветственно. Эти подтаблицы имеют общий основной столбец [7] (левый крайний столбец), в котором перечислены все возможные состояния в настоящий момент sv; столбцы в обеих подтаблицах озаглавлены одинаково, причем каждому возможному значению входного символа в настоящий момент s_v соответствует в каждой подтаблице свой столбец. Таким образом, строки обозначены символами σ₁, σ₂,..., σ_n а столбцы символами ξ₁, ξ₂,..., ξ_p. В клетке на пересечении строки σ_i и столбца ξ_j в подтаблице z помещается значение f_s(ξ_j,σ_i) (это значение будем называть значением s_v₊₁). Символы, записанные в клетках подтаблиц z_v и s_v₊₁, принадлежат выходному алфавиту Z и множеству состояний S соответственно или подмножествам этих множеств. Если f_z и f_s — характеристические функции детерминированного полностью определенного автомата, то эти функции должны быть однозначно определены для каждой упорядоченной пары (x_v, s_v), где x_v принадлежит множеству X, a s_v — множеству S. Следовательно, подтаблица zv должна содержать в каждой клетке точно один элемент из Z, а подтаблица s_v+1 — точно один элемент из S.

Хотя описательные обозначения состояний (выбираемые так, как в примерах § 1.7) являются полезными для интуитивного понимания роли.различных состояний при определении соотношений вход — выход и для определения функций f_z и f_s по словесному описанию системы, они становятся бесполезными после того, как эти функции определены. Поэтому в таблице переходов первоначальные обозначения можно заменить любыми другими, удобными для исследователя. В большинстве примеров, приводимых в книге, состояния будут обозначаться просто цифрами 1, 2, 3 и т. д.

Для иллюстрации построения таблицы переходов приведена таблица 2.2, которая представляет собой таблицу переходов системы, описанной в примере 2 § 1.7. Эта система названа автоматом А\, а состояния «новое слово», «ждать нового слова», «появление u», «появление u-n» и «появление u-n-d» обозначены цифрами 1, 2, 3, 4 и 5 соответственно. Содержимое клеток таблицы представляет собой числовое отражение словесных доводов, объясняющих

выбор множества состояний в примере 2. Сравнение словесного описания с таблицей переходов позволяет оценить точность и краткость последней по сравнению с первым способом описания.

2.3. Перечисление автоматов

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

Класс (n, p, q)-автоматов, (n, p, q) - автомат— это автомат, имеющий множество состояний S= {σ₁, σ₂,..., σ_n}, входной алфавит, определяемый множеством X = {ξ₁, ξ₂,..., ξ_p}, и выходной алфавит, определяемый множеством Z= {ζ₁, ζ₂,..., ζ_q} или некоторым подмножеством Z. Любая таблица переходов, имеющая в основном столбце символы σ₁, σ₂,..., σ_n заглавия столбцов ξ₁, ξ₂,..., ξ_p значения z_v из множества Z или из подмножества Z и значения s_v+1 из множества S, характеризует (n, p, q)-автомат. Мощность N n,р,q этого класса автоматов определяется формулой

N _n,_p.q = (qn)^pn. (2.1)

Класс явно минимальных (n, р, q)-автоматом. Назовем (n, р, q)-автомат явно минимальным, если для каждого i и каждого j≠i имеется по крайней мере одно k такое, что f_z(ξ_k, σ_i) ≠ f_z(ξ_k, σ_j). Любая таблица переходов, в которой все строки в подтаблице z_v различны, характеризует явно минимальный автомат. Мощность N´_n,p,q этого класса

равна

где отрицательные значения N´_{n, р,}_q считаются равными нулю. Класс явно сократимых (n, p, q)-автоматов, (n, p, q)- автомат называется явно сократимым, если в таблице переходов выполняются следующие условия: существует по крайней мере одна пара строк, например σ_i и σ_j, которые одинаковы как в подтаблице z_v, так и s_v+1 или становятся одинаковыми при замене каждого символа σ_i на σ_j (или σ_j на σ_i). Если автомат не относится к классу явно сократимых автоматов, то ему соответствует таблица, в которой все строки (в обеих подтаблицах z_v и s_v+1) различны. Число N´´_n,_{p, q} не явно сократимых автоматов поэтому определяется выражением