АВТОМАТОВ ТЕОРИЯ
(греч. automatos самодействующий) — раздел теоретической
кибернетики, изучающий математические модели (автоматы) реально существующих
(технических, биологических и т. п.) или принципиально возможных систем,
которые перерабатывают информацию в дискретной форме. Основу А.
т. составляют
точные математические понятия, которые формализуют представления о функции,
поведении и структуре автомата. Центральные проблемы А. т. — анализ, т.
е.
описание поведения автоматов на основе заданной программы или структуры, и
синтез, т. е. конструирование автоматов с заранее определенно заданным
поведением. А. т. имеет ряд направлений: функциональные особенности и поведение
автоматов рассматриваются абстрактной теорией автоматов, а способы образования
сложных автоматов из более простых — структурной теорией автоматов.
Причем
анализ и синтез с позиций этих теорий трактуются по-разному. Напр.
синтез в
абстрактной теорий автоматов, базируясь на алгебраических,
математико-логических методах и понятиях, ограничивается построением программы
функционирования автомата в виде его входных, переходных и выходных сигналов, а
структурная теория автоматов под синтезом подразумевает построение схемы с
оптимальными параметрами из определенного набора элементов с использованием
информационно-комбинаторного метода.