Беляев, А.К.; Клименко, В.П.
(Математичні машини і системи, 2014)
В работе рассматривается задача оценки длины микропрограмм в системе обратимых преобразований абстрактного регистра. Микропрограммы минимальной длины представляются структурными средствами адекватного описания квантовых ...