В конце 40-х годов над абстрактной теорией автоматов начинает работать знаменитый математик Джон фон Нейман (John von Neumann). Его общая математическая (логическая) теория автоматов создавалась вместе с кибернетикой Норберта Винера, сферой теории автоматов была дискретная математика, а сферой кибернетики – непрерывная [6]. В работах фон Неймана были разработаны такие важные области теории автоматов, как надежностный синтез и самовоспроизведение автоматов. Многие из его идей до сих пор не получили должного развития.
Труды фон Неймана, а также других значительных ученых – С. К. Клини, Э. Мура, К. Шеннона были опубликованы в известном сборнике статей «Автоматы» под редакцией К. Шеннона и Дж. Маккарти в 1956 году [7]. Этот сборник являлся первым в своем роде, он положил начало абстрактной теории автоматов и задал направление исследований в этой сфере на несколько лет вперед.
В СССР с начала 50-х годов, с появлением новой области науки – кибернетики, довольно бурное развитие получила и теория автоматов. Среди направлений стратегических исследований в области информатики советские ученые отмечали и теорию автоматов. Так, в статье В. М. Глушкова, работавшего тогда в Институте математики АН УССР, отмечается, что основой прогресса развития вычислительных машин наряду с теорией их работы, разработкой методов автоматизации проектирования ЭВМ и программирования, теорией алгоритмов и вычислительной математики должна стать и теория конечных детерминированных и стохастических автоматов [8].
С середины 50-х годов начал работать семинар по теории автоматов на физическом факультете МГУ, руководителем которого был М. Л. Цетлин. Чуть позже в Киеве стал действовать семинар под руководством В. М. Глушкова. На этих семинарах обсуждались вопросы коллективного поведения автоматов, логического синтеза и синтеза схем, связь теории автоматов с проблемами машинного моделирования и моделями поведения живых систем. Поэтому в семинарах принимали участие не только физики и математики, но и физиологи, медики, биологи и философы. Оба ученых стали основоположниками научных школ в Москве и Киеве [8].
Loading ...