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