Suppression ou remplacement de documents de livre manquants

4.4.1. Устранение идентичных операторов

i-тая операция считается лишней, если существует более


ранняя идентичная j-тая операция и никакая переменная, от ко-


торой зависит эта операция, не изменяется третьей операцией,


лежащей между i-той и j-той операциями.
Оператор F считается идентичным и может быть устранен из


программы, если существуют другие операторы G1,G2,...Gn,


такие, что