Алгоритмическая разрешимость — Другие языки