Разрешимость проблемы эквивалентных преобразований в одном множестве двухленточных автоматов и построение минимальных автоматов в этом множестветезисы доклада