О проблеме эквивалентных преобразований схем программтезисы доклада