Автоматов теория - логико-математическая теория, объектом исследования которой являются абстрактные дискретные автоматы - непрерывно преобразователи информации; раздел теоретической кибернетики.
Возникновение теории автоматов
Возникновение и развитие теории автоматов связаны с созданием тех. средств автоматического систем с программным управлением, разработкой математической моделей процессов переработки информации в сложных динамических системах подобное.
Как целостная конструктивная структурная теория автоматов теория формируется с нач. 50-20 в.
Задачи, которые решает теория автоматов
Круг решаемых задач теории автоматов проблем велико: от проблем «геделивського типа» ( полнота, разрешимость и т. п.) к
В дискретной математике, информатике, теория автоматов изучает абстрактные машины в виде математических моделей, и проблемы, которые они могут решать.
Теория автоматов и теория алгоритмов
Теория автоматов наиболее тесно связана с теорией алгоритмов. Это объясняется тем, что автомат превращает дискретную информацию по шагам в дискретные моменты времени и формирует результирующую информацию по шагам заданного алгоритма. Эти преобразования возможны с помощью технических и / или программных средств. Автомат можно представить как некоторое устройство (черный ящик), на который подаются входные сигналы и снимаются выходные, который к тому же может иметь некоторые внутренние состояния.
Анализ автоматов
При анализе автоматов изучают их на различные стимулах и минимизируют количество состояний автомата для работы согласно заданным алгоритмом. Такой автомат называют абстрактным.
Синтез автоматов
При синтезе автоматов формируют систему из элементарных автоматов, эквивалентную заданному абстрактному автомату. Такой автомат называется структурным.
Проектирование ЭЦВМ остается основной сферой практического применения теории автоматов. Благодаря успешному решению проблемы сопряжения этапов абстрактного и структурного синтезов, достижением теории надежного и блочного синтеза стало возможным изложить теорию синтеза цифровых автоматов как единую математическую теорию, которая в перспективе должна охватить как единое целое все ЭЦВМ с любым большим числом их состояний.