Задача разрешимости — Другие языки