... Во время подготовки и защиты докторской диссертации в Московском университете я жил вместе с докторантами с Украины, которые представили меня академику АН Украины Б. В. Гнеденко, бывшему в то время директором Института математики и академиком-секретарем Отделения математики и механики АН Украины. В марте 1956 г. по его приглашению приехал в Киев. Это была, кстати, моя первая поездка туда. Б. В. Гнеденко ознакомил меня с Киевским университетом и личными делами молодых специалистов, заканчивающих университет и отобранных для работы в Институте математики АН Украины (для пополнения бывшей лаборатории С. А. Лебедева). Один любопытный эпизод. Б. В. Гнеденко предложил мне на выбор заведование лабораторией или кафедру в Киевском университете. Мы зашли в кабинет декана мехмата. Он сидел такой важный, поинтересовался, какой кафедрой я заведовал. Услышав, что это Уральский лесотехнический институт, кафедра теоретической механики, отнесся ко мне с недоверием, сказал, что здесь университет столичный, тут высокие требования. Короче, мне сразу расхотелось в университет.

В.М.Глушков - на лекции

Но я, впрочем, с самого начала решил, что пойду именно в академию, а не в университет. А в академии Б. В. Гнеденко меня сводил к Г. Н. Савину. Он был тогда вице-президентом и отвечал за секцию физико-математических и технических наук. Он тоже немножко засомневался, смогу ли я руководить сразу сотнями сотрудников, когда на Урале руководил единицами (а это действительно совсем разные вещи: руководить маленькой кафедрой и руководить институтом — организационно абсолютно не похоже одно на другое). Но когда мы с ним поговорили о том, как я собираюсь все это делать, он одобрил мои намерения и согласился принять на работу в академию.

Во время второго приезда вопрос моего перехода в Киев был окончательно решен. Я стал заведующим лаборатории вычислительной техники Института математики. Предполагалось, что лаборатория будет реорганизована в Вычислительный центр АН Украины в соответствии с вышедшим в 1955 году постановлением о создании вычислительных центров в академиях союзных республик, в том числе в Украине.

Б. В. Гнеденко разрешил мне только три дня в неделю быть в лаборатории, а остальные три дня были даны для изучения предмета, вхождения в курс дела. На время моего отсутствия на каждый день назначался временно исполняющий обязанности заведующего лаборатории из числа кандидатов наук (Л. Н. Дашевский, Е. А. Шкабара, Б. Н. Малиновский, А. И. Кондалев).

Б. В. Гнеденко разрешил работать в нашей лаборатории В. С. Королюку и Е. Л. Ющенко, так что в лаборатории оказалось шесть кандидатов наук. (Правда, В. С. Королюк потом не вошел в ее состав.)

Вычислительные машины тогда проектировались на основе инженерной интуиции. Мне пришлось разбираться в принципах построения ЭВМ самому, у меня стало складываться свое собственное понимание работы ЭВМ. С тех пор теория вычислительных машин стала одной из моих специальностей. Я решил превратить проектирование машин из искусства в науку. То же самое, естественно, делали и американцы, но у них эти материалы появились позже, хотя сборник по теории автоматов вышел в свет в США в 1956 году.

Теория автоматов, послужившая основой для проектирования ЭВМ, была тогда развита слабо. Первый, кто высказал мысль о возможности применения математической логики для проектирования технических устройств был, по-видимому, Шенон — в США, а у нас — В. И. Шестаков, М. А. Гаврилов. Они применили простейший аппарат формальной математической логики для конструирования переключательных цепей коммутаторов телефонных станций. Но, оказалось, что он пригоден и для простых электронных схем, поэтому в послевоенные годы, когда начала развиваться цифровая вычислительная техника, стали предприниматься попытки применения этого аппарата для решения задач синтеза схем ЭВМ.

Я начал работать над этой проблемой и организовал семинар по теорий автоматов. Одна из первых моих работ заключалась в том, что я нашел гораздо более изящное алгебраически, простое и логически ясное понятие для автомата Клини, и получил все результаты Клини. И самое главное — в отличие от результатов Клини я развивал теорию, направленную на реальные задачи проектирования машин. На семинаре мы рассматривали вопросы проектирования машины «Киев», и можно было увидеть, что работает из моей теории, а что нет.