Теория и практика защиты программ

       

Повторные выполнения RAM-машины


Для решения проблемы защиты программ необходимо использовать повторные выполнения «одной и той же» RAM-программы на нескольких входах. Задача состоит в том, что RАМ-машина начинает каждый следующий цикл своей работы с рабочими лентами ЦП и МП, имеющих содержимое, идентичное их содержимому по окончании предыдущего цикла.

Для каждого kÎN, повторные выполнения RAMk-машины на входной последовательности y1,y2,... рассматриваются как последовательность вычислений RAMk-машины, при котором первое вычисление началось с входа y1, когда рабочие ленты и СРUk, и MEMk пусты и i-тое вычисление начинается с входа уi, когда рабочая лента каждой машины (т.е., и СРUk, и MEMk) содержит ту же самую строку, которую она содержала по окончании i-1 вычисления.



Содержание раздела