Минимизация числа микроопераций и логических условии в микропрограмме

Рассматривается методика сокращения числа различных микроопераций и логических условий в микропрограммах, реализуемых не полностью определенными управляющими автоматами. Определены условия совместимости микроопераций и объединения логических условий. Показано, что решение этой задачи может быть сведено к решению задачи о раскраске графов.