Эквивалентные преобразования в одном классе машин Тьюрингатезисы доклада