11.3. Понятие о технической интерпретации конечных автоматов

В абстрактной теории автоматов существенна только работа автомата со словами при наличии конечной памяти.

Нас же более всего будет интересовать прикладная сторона теории конечных автоматов.

Конечный автомат представляет собой хотя и абстрактную, но с функциональной точки зрения довольно точную модель дискретного (цифрового) вычислительного или управляющего (контролирующего) устройства с конечным числом состояний. Входной символ (буква) - это входной сигнал, точнее комбинация (набор) сигналов на всех входах x₁,x₂...x_n (это не буквы алфавита Х) устройства. Эта комбинация сигналов на дискретных входах еще называется входным вектором (набором) (t). Выходной сигнал (буква) - комбинация (набор) сигналов на дискретных выходах z₁,z₂,...z_m (это не буквы алфавита Z) - выходной вектор (набор) (t). Входное слово - последовательность входных векторов, поступающих в дискретные моменты времени (такты) t=1,2,3...

Состоянию автомата соответствует вектор (t) - текущее, (t+1) - последующее. Как мы узнаем в дальнейшем - этот вектор задает комбинация (набор) состояний y₁,y₂,...y₃ (это не буквы алфавита Y) элементов памяти автомата.

Выходное слово - последовательность выходных векторов в дискретные моменты времени.

Комбинационный автомат интерпретируется некоторой переключательной схемой или схемой из функциональных элементов (рис.11.4).

Рис.11.4. Техническая интерпретация

комбинационного автомата

Функция выходов Y((t))=(t) (отображение (t)®(t)) реализуется, например, с использованием функционально-полного набора элементов, соответствующих логическим функциям, составляющим функционально-полную систему. При этом Y((t)) представляется в виде суперпозиции этих логических функций. Вопрос представления логических функций в разных базисах и получения соответствующих схем, также, как и вопрос получения переключательных комбинационных схем, рассматривается особо [13].

Последовательностный автомат интерпретируется схемой с обратными связями в виде так называемых задержек на один такт (рис.11.5).

Дело в том, что проблема автоматной полноты (для последовательностного автомата) алгоритмически неразрешима, в отличие от проблемы полноты для логических функций (для комбинационного автомата).

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

На рис. 11.5 ЛП - логический преобразователь - комбинационный автомат, реализующий функции переходов j и выходов y, D - задержки (от слова delay - задержка). В дальнейшем мы покажем, что в качестве задержек могут использоваться так называемые элементы памяти.

Рис.11.5. Техническая интерпретация

автомата Мили

В автомате Мура функции выходов реализуются отдельно (рис.11.6), т.е. имеются два логических преобразователя (ЛП1, ЛП2).

Таким образом, в автомате Мили выходной вектор в некоторый момент времени зависит как от текущего состояния автомата, так и от входного вектора в этот момент времени.

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

Реальные дискретные автоматы функционируют по тактам. Такт - отрезок времени произвольной длины, в течение которого состояние автоматов остается неизменным. Такты могут обозначаться моментом времени t₀,t₁,t₂...t_m, причем последовательность номеров тактов образует дискретное (автоматное) время.

Рис.11.6. Техническая интерпретация

автомата Мура

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

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

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

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

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

Можно интерпретировать автомат не только как устройство. Известно, что всякое управление (вычисление, контрольную операцию) можно реализовать как аппаратурно (в виде устройства), как и программно (в виде программы ЭВМ). Это приводит к более общему толкованию конечных автоматов как алгоритмов с конечной памятью, многие свойства которых можно исследовать и безотносительно к способу их реализации.

Имеется еще и другая интерпретация автоматов. Фон Нейман рассматривал автоматы как удобный язык для описания основных законов взаимодействия сложных систем, т.е. по существу как метаязык кибернетики.

Задачами теории конечных автоматов являются: 1) изучение возможностей автоматов в терминах множеств слов, с которыми они работают (распознавание входных последовательностей (слов), формирование требуемых выходных, т.е. автоматных отображений; 2) распознавание различных свойств автоматов; 3) задача описания автоматов (анализ) и их реализация, т.е. представление автомата как структуры, состоящей из объектов фиксированной сложности (синтез автоматов).