Recherche objets

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

i-тая операция считается лишней, если существует более ранняя идентичная j-тая операция и никакая переменная, от ко- торой зависит эта операция, не изменяется третьей операцией, лежащей между i-той и j-той операциями.
Оператор F считается идентичным и может быть устранен из программы, если существуют другие операторы G1,G2,...Gn, такие, что