Применение теории автоматов

Содержание

Ключевае слова:
Автомат
Программирование
Визуализатор
Нейронные сети
Микроконтроллеры
Документооборот

Введение

Первые шаги в развитии теории автоматов были осуществлены в начале прошлого века. В 1910 г. русский физик П. Эренфест в предисловии к книге Л. Кутюра «Алгебра логики» указал на возможность построения технических устройств на основе алгебры логики. Математическое обоснование этого положения дал русский ученый В. И. Шестаков (1935 г.), позднее этот результат был повторен в Японии — А. Накашима, М. Ханзава (1936—1938 гг.) и в США — К. Шенноном (1938 г.). В период 1942—1954гг. интенсивно велись работы по теории автоматов в Институте автоматики и телемеханики АН СССР под руководством М. А. Гаврилова, который в 1950 г. опубликовал первую монографию по этой проблеме. Эти ученые были основателями теории автоматов со стороны техники. Теория автоматов явилась основой создания вычислительной техники и кибернетики:

Все работы по созданию ЭВМ были строго засекречены как в СССР, так и США, т.к. проводились в интересах Военно-промышленной Комиссии (ВПК) и создания Ядерно-ракетного щита страны.

В 1948 г. вице-президент АН УССР, директор института матема¬тики Михаил Алексеевич Лаврентьев обратился с письмом в Прави¬тельство СССР, в котором содержалась информация о необходимости ускорения исследований в области вычислительной техники, после чего он был назначен директором института точной механики и вычислительной техники (ИТМиВТ) АН СССР — одного из главных научно-технических центров создания современных компьютерных систем.

Со стороны математики формализацией задач теории автоматов и их решением с 40—50-х годов прошлого века начали заниматься А. Тьюринг, А. А. Марков, Р. Петер, Б. А. Трахтенброт, А. Саломаа, Н. Хомский и др. Наряду с формализацией понятия автомата как частного случая машины Тьюринга и системы подстановок были разработаны модели автомата на основе нормальных алгоритмов (А. А. Марков) и рекурсивных функций (Р. Петер).

В 60—70-е годы прошлого столетия ведущие ученые школы по теории релейных устройств и конечных автоматов чл.-корр. АН СССР М. А. Гаврилова создают самостоятельные научные школы: «Техническая диагностика автоматов» (чл.-корр. АН СССР П. П. Пархоменко), «Ситуационное управление» (акад. РАЕН Д. А. Поспелов), «Логическое управление и характеризационный анализ» (акад. РАЕН В. А. Горбатов), «Управляющие автоматы» (акад. ПА В. Г. Лазарев), «Алгоритмизация проектирования автоматов» (акад. РАЕН В. П. Чистов) и др.

Большой вклад в развитие теории автоматов внесли акад. B.М. Глушков и акад. Э. А. Якубайтис и коллективы возглавляемых ими институтов АН УССР и АН Латв. ССР.

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


См. также
Следующий раздел раздел - Теория автоматов. Общие понятия


X