Борис Малиновский - Информационные технологии в СССР. Создатели советской вычислительной техники

— Поставлю Вашей рукописи красный свет!».

Из подобных свидетельств автор этих строк заключает, что в распространенном сейчас на Украине мифе о том, что всю советскую кибернетику и вычислительную технику якобы создал Глушков (об этом автору говорили многие), есть и немалая доля «заслуг» Валентины Михайловны.

Из сохранившихся свидетельств можно заключить, что интересы Глушкова все-таки сначала больше тяготели к теории. Сам Глушков говорит об этом так: «Я решил превратить проектирование машин из искусства в науку». Б. Н. Малиновский вспоминает, как в 1960 году Глушков фактически свалил на него, как на заместителя директора, повседневную работу по руководству ВЦ. В этот период Виктор Михайлович получил убедительные результаты в области теории цифровых автоматов, которые заложили фундамент для дальнейших работ по автоматизации проектирования ЭВМ. Развив теоретические разработки американских ученых, в первую очередь Клини и Мура, Глушков создал необходимый математический аппарат, при помощи которого стало возможно представлять компоненты ЭВМ, как схемы, так и программы, в виде алгебраических выражений. Эти результаты были внедрены при проектировании ЭВМ в Институте кибернетики АН УССР, а затем и в других организациях.

Вклад Глушкова в теорию цифровых автоматов вызвал огромный интерес в международном научном сообществе: его знаменитая монография «Синтез цифровых автоматов» была переведена на английский язык и издана в США и ряде других стран. В 1964 году за цикл работ по теории автоматов В. М. Глушков был удостоен Ленинской премии. В том же году он был избран действительным членом АН СССР по отделению математики.

Виктор Михайлович Глушков и Екатерина Логвиновна Ющенко, 1960-е годы

В 1961 году в журнале «Успехи математических наук» и в 1965 году в журнале «Кибернетика» В. М. Глушков опубликовал результаты исследований в области теории программирования и систем алгоритмических алгебр, которые стали фундаментальным вкладом в алгебру регулярных событий. В этой работе была доказана фундаментальная теорема о регуляризации произвольного алгоритма, в частности программы или микропрограммы.

Заслуга Глушкова состоит в том, что он предложил математический аппарат формализации функционирования произвольных кибернетических систем — аппарат систем алгоритмических алгебр (САА). В 1974 году аппарат САА получил развитие в области теоретического программирования, что получило отражение в монографии В. М. Глушкова, Г. Е. Цейтлина и Е. Л. Ющенко «Алгебра, языки, программирование». Как и другие разработки Глушкова, аппарат САА был использован на практике: для формализации семантики адресного языка для ЭВМ «Днепр-2», модели двустороннего параллельного анализатора языка Кобол на ЕС ЭВМ, компонентов кросс-систем программного обеспечения специализированных мини— и микроЭВМ на ЕС ЭВМ.

Основоположник школы теоретического программирования на Украине

Екатерину Логвиновну Ющенко (1919–2001) часто называют «украинской леди Лавлейс». Со знаменитой предшественницей ее роднит судьба, предоставившая обеим написать программы для первых компьютеров: в случае Екатерины Логвиновны это была первая советская ЭВМ МЭСМ, построенная в Киеве в 1951 году под руководством Сергея Алексеевича Лебедева.

Екатерина Логвиновна Ющенко, 1940-е годы

Е. Л. Ющенко родилась в городе Чигирине в семье учителя истории и географии Рвачева Логвина Федоровича, бывшего революционера, в 1937 году арестованного как «врага народа». В 1938 году поступила в далекий от Украины Узбекский государственный университет в Самарканде, выбрав его потому, что он был одним из немногих в стране, гарантировавших поступившим общежитие. После окончания университета работала учителем в средней школе, затем судьба ее свела с Борисом Владимировичем Гнеденко, будущим академиком АН УССР и директором тогда еще львовского филиала Института математики. После того как С. А. Лебедев был приглашен в московский ИТМ и ВТ, его лабораторию из Института электротехники АН УССР перевели в Институт математики, директором которого назначили Б. В. Гнеденко. Так Екатерина Логвиновна оказалась в легендарной лаборатории в Феофании под Киевом, где уже стоял в работающем состоянии первый компьютер в континентальной Европе — МЭСМ.