Еще одним замечательным ученым, работавшим в области теории автоматов и релейных устройств, был М. А. Гаврилов. В середине 50-х годов он организовал семинар в Институте автоматики и телемеханики АН СССР, а с 1964 года начали проводиться знаменитые Гавриловские школы. Их уровень был одним из самых высоких в мире: участники этих школ в 70-х годах первыми начали создавать системы автоматического проектирования дискретных систем управления [3, 4, 8].
В рамках этих и других школ по теории автоматов и её приложениям работали такие ученые, как М.А. Айзерман, С.И. Баранов, В.И. Варшавский, А.Д. Закревский, В.Н. Касьянов, В.Г. Лазарев, Д.А. Поспелов, Ю.В. Поттосин, И.В. Прангишвили, А.А. Таль, Б.А. Трахтенброт и многие другие.
Благодаря этим школам и исследователям сегодня мы имеем достаточно разработанную теорию автоматов, которая, как будет показано ниже, находит все новые и новые приложения.
Синтез цифровых устройств. Одним из традиционных приложений теории автоматов является синтез цифровых устройств. Например, теория автоматов широко использовалась «при создании отечественной вычислительной техники, некоторые образцы которой (например, машины М-10 и БЭСМ-6) не уступали, а во многом и превосходили зарубежные аналоги» [4].
В 90-х годах зарубежные фирмы (фирма «Модикон», США, входящая в группу AEG Schneider Electric; фирма «Сименс», Германия; фирма «General Electric Fanuc Automation», США) стали использовать в качестве языка программирования своих программируемых логических контроллеров графы переходов [9].
Loading ...