Аннотация:
Представлены результаты экспериментов над программной реализацией алгоритмов определения линейной и аффинной эквивалентности подстановок. Подробно описаны алгоритмы определения линейной эквивалентности между двумя блоками замены, построения класса линейной эквивалентности и определения аффинной эквивалентности. Произведено сравнение оценки трудоёмкости алгоритмов с реальным временем работы.
Ключевые слова:линейная эквивалентность, аффинная эквивалентность, блок замены, подстановка.
Полный текст:
PDF файл (592 kB)