Об эквивалентности программ с операторами, обладающими свойствами коммутативности и подавлениятезисы доклада