В операционной системе UNIX теория автоматов нашла свое применение в системных программах, таких, как протокол выбора лидера в распределенной системе процессоров, а также для поиска текста по образцу в текстовом редакторе и для построения драйверов [1].
В работе [21] автоматный подход реализован для одного из алгоритмов поиска подстрок.
Работы М. Л. Цетлина по проблемам целесообразного поведения автоматов, начатые в 60-х годах, привели к изучению коллективного и адаптивного поведения автоматов, а затем и к использованию теории автоматов в биологии, социологии, теории игр и в области искусственного интеллекта [8, 22, 23].
Конечноавтоматная модель применяется и для описания параллельных взаимодействующих процессов, в частности для координации их управления [1, 24].
В [1, 9] указывается, что автоматы используются для построения и программирования систем реального времени.
В заключение этого раздела можно привести высказывание Herve Gallaire, одного из участников семинара “Software 2000: a View of the Future”, проходившего в 1994 году: «Я знаю людей из “Боинга”, занимающихся системами стабилизации самолетов с использованием чистой теории автоматов. Даже трудно себе представить, что им удалось сделать с помощью этой теории» [1].
Вывод. Итак, можно сделать вывод о необходимости глубокого знания теории автоматов для специалиста в Computer Science. Причем такой вывод следует не только на основании широты применения данной теории в традиционных и новых областях информатики, но и с учетом фундаментального характера понятия «состояние». Это понятие, базовое в теории автоматов, естественным образом может использоваться для описания процессов самой различной природы. Поэтому есть все основания полагать, что теория автоматов найдет свое применение не только в уже известных сферах человеческой деятельности, но и в ещё не открытых.
Примечания
1.Карпов Ю. Г. Теория автоматов. СПб.: Питер, 2002.
2. Баранов С.И. Синтез микропрограммных автоматов (граф-схемы и автоматы). Л.: Энергия, 1979.
3.Теория дискретных управляющих устройств / Под ред.
А. Д. Закревского, И. В. Прангишвили. М.: Наука, 1982.
4.Шалыто А. А. У нас была Великая эпоха!
5.Глушков В. М. Синтез цифровых автоматов. М.: Физматгиз, 1962.
6.Нейман фон Дж. Теория самовоспроизводящихся автоматов. М., 1971.
7.Автоматы: Сборник статей / Под ред. К. Шеннона, Дж. Маккарти. М.: ИЛ, 1956.
8.Очерки истории информатики в России / Ред.-сост.: Д. А. Поспелов, Я. И. Фет. Новосибирск: НИЦ ОИГГМ СО РАН, 1998.
9.Шалыто А.А. Алгоритмизация и программирование для систем логического управления и «реактивных» систем // Автоматика и телемеханика, 2001, №1, С.3-39.
10. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т. 1. Синтаксический анализ. М.: Мир, 1978.
11. Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. М.: Мир, 1979.
12. Легалов А. И. Разработка трансляторов
13. Шалыто А.А., Туккель Н.И. Программирование с явным выделением состояний // Мир ПК, 2001, №8, C.116-121.
14. Harel D. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming. 1987. Vol. 8, P. 231 – 274.
15. Карабегов А. В., Тер-Микаэлян Т.М. Введение в язык SDL. М.: Радио и связь, 1993.
16. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++. М.: Бином. СПб.: Невский диалект, 1998.
17. Booch G., Rumbaugh J., Jacobson I. The Unified Modeling Language. User guide. MA: Addison-Wesley, 1998. (Буч Г., Рамбо Д., Джекобсон А. Язык UML. Руководство пользователя. М.: ДМК, 2000).
18. Рамбо Д., Джекобсон А., Буч Г. UML. Специальный справочник. СПб.: Питер, 2002.
19. Шалыто А..А. SWITCH-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука, 1998.
20. Шалыто А.А., Туккель Н.И. Реализация вычислительных алгоритмов на основе автоматного подхода // Телекоммуникации и информатизация образования, 2001, №6.
21. Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ. М.: МЦНМО, 2000.
22. Стефанюк В.Л. От автоматов М. Л. Цетлина к искусственному интеллекту //Новости искусственного интеллекта. 1995. №4.
23. Цетлин М. Л. Исследования по теории автоматов и моделированию биологических систем. М.: Наука, 1969.
24. Дейкстра Э. Взаимодействие последовательных процессов // Языки программирования / Ред. Ф. Женюи. М.: Мир, 1972. С. 9-86.
Loading ...