Алгоритмическая разрешимость задач о поведении автоматов на сверхсловах