Рассматривается модель последовательных программ, обладающая свойствами:1) результат выполнения используемых программами операторов не зависит от порядка, в котором они выполняются; 2) если при выполнении программы какое-либо из используемых ею логических условий стало истинным, то оно остается истинным при дальнейшем ее выполнении. В статье описывается алгоритм, разрешающий эквивалентность схем из этой модели.
