МИКРОПРОГРАММА

— последовательность микрокоманд, реализующая заданный алгоритм, в которой каждая микрокоманда соответствует одной или нескольким микрооперациям. Микрокоманда задает проверку логического условия и переходы в другие участки М. Этой М. (их системой) задают в вычислительных машинах взаимодействие управляющего и операционного автоматов при выполнении операций машинных в устр-вах переработки и хранения информации (данных).

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

Разработаны методы формального синтеза М. с учетом физ. характеристик сигналов и элементов. Для более глубоких формальных преобразований М., включающих замену одних микроопераций другими, изменение порядка их следования и т. п., были созданы специальный алгебраический аппарат и особый язык для записи М. Их основой послужил аппарат микропрограммных алгебр, разработанный сов. математиком В. М. Глушковым (р. 1923). См. также Управление структурное в ЦВМ.

Лит.: Глушков В. М. Теория автоматов и формальные преобразования микропрограмм. «Кибернетика», 1965, JVS 5; Чеботарев А. Н. Абстрактный синтез управляющего автомата по микропрограмме. «Кибернетика»( 1966, ; Мищенко А. Т. О задании автоматов микропрограммой. «Кибернетика», 1970. № 3. Е. П. Башлаков.