МИКРОПРОГРАММ ПРЕОБРАЗОВАНИЯ.
Цели преобразований микропрограмм очень разнообразны. Существуют преобразования, которые дают возможность оптимизировать имеющуюся микропрограмму, напр., по быстродействию; есть класс преобразований микропрограмм, которые применяются для чисто инженерных целей, напр., учет нагрузочных свойств элементов, их быстродействия, синхронизации сигналов и т. д.
Поскольку средства задания микропрограмм разнообразны, техника М. п. опирается на различные результаты автоматов теории, теории логических схем программ и дискретных преобразователей теории. Задание автомата в виде микропрограммы позволяет применять методы минимизации автоматов для упрощения микропрограммы. Такие преобразования касаются лишь способа записи и хранения микропрограмм, но они не могут изменять микроопераций и логических условий, а также порядка выполнения микроопераций.
В связи с развитием теории дискретных преобразователей и алгоритм, алгебр появились совершенно новые средства преобразования микропрограмм. Так как любую микропрограмму можно представить в регулярной форме (см. Алгебра алгоритмов), т. е. записать как элемент некоторой алгебры, для ее преобразования можно применять хорошо развитые в алгебре средства применения соотношений. Если в соответствующей алгоритм, алгебре получена система определяющих соотношений, то, отправляясь от исходной микропрограммы, заданной в регулярном виде, можно получить значительно более экономную микропрограмму, применив соотношения к исходной микропрограмме. При этом можно, взяв, напр., за исходную микропрограмму алгоритм умножения, основанный на определении умножения, получить микропрограмму умножения в том виде, в котором она обычно реализуется в ЦВМ. Ценность такого аппарата преобразований состоит в том, что преобразования можно выполнять формально. Лит.: Глушков В. М. Теория автоматов и формальные преобразования микропрограмм. «Кибернетика», 1965. № 5. С. С. Гороховский.
