СИНТЕЗ АВТОМАТОВ АБСТРАКТНЫЙ

— один из этапов синтеза автоматой, заключающийся в построении абстрактного автомата (напр., его таблицы переходов и выходов) по одному из способов задания отображения «вход — выход», которое должен реализовать этот автомат. Отображение реализуется автоматом таким образом: каждое входное слово алфавита последовательно (побуквенно) такт за тактом подается на вход автомата А, предварительно установленного в начальное состояние. Последовательность входных сигналов вызывает (на основании законов функционирования автомата) однозначно определенную выходную последовательность выходное слово.

Отображения, индуцируемые абстрактными автоматами, наз. автоматными отображениями (см. Оператор автоматный). Существует конструктивный прием, позволяющий любое однозначное алфавитное отображение превратить в автоматное. Очень удобный способ задания автоматного отображения — задание его с помощью мн-ва событий регулярных. Языком для представления регулярных событий является язык регулярных выражений (см. Регулярные события и выражения). Класс регулярных событий совпадает с классом событий, представимых в автоматах конечных.

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

Лит.: Глушков В. М. Синтез цифровых автоматов. М., 1962 [библиогр. с. 464—469].

Е. Л. Войтова.