О проблеме эквивалентности операторных программ на упорядоченных полугрупповых моделяхстатья