Метод трансформационного распознавания эквивалентности в моделях вычисленийстатья