Synchronisation des documents un livre

Алгоритм исключения лишних операций просматривает


операции в порядке их появления. Если i-я триада лишняя (уже


имеется идентичная j-я триада), то она заменяется


триадой
(SAME,j,0), где операция SAME ничего не делает и не порождает
никаких команд при генерации. Чтобы следить за внутренней


зависимостью переменных и триад, им в соответствие


ставятся числа независимости по следующим правилам:
1) Вначале для переменной А число независимости dep(А)


равно нулю, так как ее начальное значение не зависит ни от од-
ной триады.