2.3 Теорія програмування та системи алгоримічних алгебр

В галузі теорії програмування та систем алгоритмічних алгебр В. М. Глушковим був зроблений фундаментальний внесок — алгебра регулярних подій (рос. алгебра регулярных событий). Був розвинений апарат систем алгоритмічних алгебр, в рамках якого Глушковим була сформульована концепція, аналогічна принципу структурного програмування Дейкстри (1968) та доведена фундаментальна теорема про регуляризацію (зведення до структурованої форми) довільного алгоритма, зокрема програми чи мікропрограми. Глушковим був сформульований фундаментальний принцип мікропрограмного управління, згідно з яким абстрактна модель ЕОМ може розглядатись як взаємодія двох автоматів — управляючого та операційного. В 1974 за результатами цих досліджень була опублікована монографія Глушкова (в складі авторського колективу) «Алгебра, языки, программирование»