Из рассказов Б. Н. Малиновского следует, что Глушков излишне прислушивался к словам различных «информаторов», вертевшихся вокруг. Отметим однако, что В. М. Глушков умел быть объективным, когда хотел: характеристика президента АН УССР Б. Е. Патона, как «президента по призванию», принадлежит именно Глушкову (несмотря на то, что когда-то Патон обошел его на выборах президента АН УССР, и Глушков переживал по этому поводу). Сыграло, очевидно, свою роль и предвзятое отношение к окружающим Валентины Михайловны Глушковой, ревниво относившейся к успехам тех, кого она полагала соперниками своего мужа. Малиновский вспоминает о Валентине Михайловне:
Из подобных свидетельств автор этих строк заключает, что в распространенном сейчас на Украине мифе о том, что всю советскую кибернетику и вычислительную технику якобы создал Глушков (об этом автору говорили многие), есть и немалая доля «заслуг» Валентины Михайловны.
Теория и практика
Из сохранившихся свидетельств можно заключить, что интересы Глушкова все-таки сначала больше тяготели к теории. Сам Глушков говорит об этом так: «Я решил превратить проектирование машин из искусства в науку». Б. Н. Малиновский вспоминает, как в 1960 году Глушков фактически свалил на него, как на заместителя директора, повседневную работу по руководству ВЦ. В этот период Виктор Михайлович получил убедительные результаты в области теории цифровых автоматов, которые заложили фундамент для дальнейших работ по автоматизации проектирования ЭВМ. Развив теоретические разработки американских ученых, в первую очередь Клини и Мура, Глушков создал необходимый математический аппарат, при помощи которого стало возможно представлять компоненты ЭВМ, как схемы, так и программы, в виде алгебраических выражений. Эти результаты были внедрены при проектировании ЭВМ в Институте кибернетики АН УССР, а затем и в других организациях.
Вклад Глушкова в теорию цифровых автоматов вызвал огромный интерес в международном научном сообществе: его знаменитая монография «Синтез цифровых автоматов» была переведена на английский язык и издана в США и ряде других стран. В 1964 году за цикл работ по теории автоматов В. М. Глушков был удостоен Ленинской премии. В том же году он был избран действительным членом АН СССР по отделению математики.
Виктор Михайлович Глушков и Екатерина Логвиновна Ющенко, 1960-е годы
В 1961 году в журнале «Успехи математических наук» и в 1965 году в журнале «Кибернетика» В. М. Глушков опубликовал результаты исследований в области теории программирования и систем алгоритмических алгебр, которые стали фундаментальным вкладом в алгебру регулярных событий. В этой работе была доказана фундаментальная теорема о регуляризации произвольного алгоритма, в частности программы или микропрограммы.
Заслуга Глушкова состоит в том, что он предложил математический аппарат формализации функционирования произвольных кибернетических систем — аппарат систем алгоритмических алгебр (САА). В 1974 году аппарат САА получил развитие в области теоретического программирования, что получило отражение в монографии В. М. Глушкова, Г. Е. Цейтлина и Е. Л. Ющенко «Алгебра, языки, программирование». Как и другие разработки Глушкова, аппарат САА был использован на практике: для формализации семантики адресного языка для ЭВМ «Днепр-2», модели двустороннего параллельного анализатора языка Кобол на ЕС ЭВМ, компонентов кросс-систем программного обеспечения специализированных мини— и микроЭВМ на ЕС ЭВМ.