Глушкова.

Теоретико–автоматные методы стали применяться при проектировании отдельных блоков вычислительных машин (например, серии МИР). Однако они имели существенный недостаток, связанный с ограничением на число состояний используемых автоматов в качестве моделей. Поэтому следующим шагом в развитии теории проектирования стала формализация решения задачи блочного и алгоритмического проектирования устройств. Это было сделано В.М.Глушковым в серии основополагающих работ середины 60–х годов, открывших новый этап развития математической теории дискретных систем. В этих работах В.М.Глушкова была предложена новая концепция бесконечного автомата, пригодная для уточнения ряда практических задач синтеза и оптимизации логических структур ЭВМ и применения в процессе их решения формально–алгебраических методов. В новой модели процессор ЭВМ представляется в виде композиции двух автоматов – управляющего и операционного. Управляющий автомат, так же как и управляющая головка машины Тьюринга, имеет конечное число состояний, в то время как множество состояний операционного автомата, вообще говоря, бесконечно и состоит из всевозможных заполнений нескольких конечных или бесконечных в одну или обе стороны регистров, аналогичных лентам машины Тьюринга. Однако в отличие от машин Тьюринга преобразования, выполняемые на регистрах, могут быть нелокальными и изменять сразу все разряды регистра. Конструктивность соответствующих преобразований обеспечивается тем, что они задаются с помощью рекурсивных определений специального вида. Эта специализация соответствует тому, что реально на длинных регистрах схемы для одного разряда или группы разрядов периодически повторяются. Такие преобразования были названы периодически–определенными.
Композиция управляющего и операционного автоматов, рассмотренная в этих работах, представляет собой частный случай общего понятия дискретного преобразователя, которое исследовалось в дальнейшем в работах В.М.Глушкова и его учеников [3]. Эти исследования развивались в двух направлениях. Первое направление – исследование абстрактно–алгебраических задач, таких, как распознавание эквивалентности, оптимизации по времени работы дискретных преобразователей, изучение соотношений, систем образующих в полугруппах преобразований операционного автомата и др.
Второе направление связано с разработкой прикладных систем автоматизации проектирования ЭВМ, языков для описания алгоритмов функционирования устройств, методов и алгоритмов проектирования устройств и их композиций.
Существенное влияние на развитие теории дискретных преобразователей оказали задачи совместного проектирования схемного и программного оборудования ЭВМ, совершенствование технологии проектирования, задачи проектирования многопроцессорных систем. Идея периодически–определенного преобразования, использованная при построении первой автономной модели ЭВМ, оказалась после соответствующего очевидного обобщения на случай многомерных регистров чрезвычайно полезной для исследования вопросов параллельной реализации функций над структурами данных. Использование модели дискретного преобразователя значительно расширилось, когда было осознано, что она годится для представления многих пар компонент ЭВМ. Например, программа и ЭВМ, процессор и память, микропрограммные устройства и др.
Для того чтобы иметь возможность рассматривать более глубокие преобразования (на примере микропрограммных автоматов), чем применение соотношений в полугруппе преобразований множества состояний операционного автомата, В.М.Глушков вводит на множестве преобразований еще две операции: a–дизьюнкцию и a–итерацию, получая новый тип алгебры – микропрограммную алгебру.
На конкретных примерах микропрограммных алгебр, порожденных арифметическими микрооперациями и условиями на одномерных регистрах была продемонстрирована фундаментальная идея проектирования алгоритмов: для того чтобы получить требуемое представление алгоритма, его следует представить в подходящей алгебре и, изучив соотношения этой алгебры, преобразовать это представление, добиваясь улучшения тех или иных его характеристик – времени, памяти и т.п. Была доказана также фундаментальная теорема о регуляризации произвольных микропрограмм: преобразование, выполняемое любой микропрограммой, может быть представлено выражением в микропрограммной алгебре, порожденной теми же элементарными операторами и условиями, которые используются в данной микропрограмме [4]. Поскольку конструкции микропрограммной алгебры носят общий характер, а проектирование устройств ЭВМ представляет собой лишь одну из многих областей ее применения, впоследствии эту алгебру стали называть алгеброй алгоритмов или системой алгоритмических алгебр. Идея использования многоосновных алгебр для представления различных аспектов взаимодействия компонент ЭВМ является актуальной и по сей час, когда на первый план выдвигаются проблемы управления процессами в глобальных сетях (Internet и др.).
Развитие современных алгоритмических языков В.М.Глушков связывал с развитием формульного аппарата математики в целом. Программу, записанную в алгоритмическом языке, можно рассматривать как представление аналитического выражения в подходящей алгебре. Научившись оперировать программами, как формулами, можно добиваться успехов в математизации новых областей знания. Построение алгебры алгоритмов В.М.Глушков также рассматривал как первые шаги в достижении указанной цели. Выдающееся значение открытия алгебры алгоритмов и правильность подхода, предложенного В.М.Глушковым, подтвердились в последующие годы. Этому способствовали, с одной стороны, распространение идей структурного программирования и, с другой – появление серии работ по алгоритмической логике, которая получается из алгебры алгоритмов, если вместо алгебры операторов в качестве основного множества рассматривать алгебру условий.