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