Алгоритмічна розв'язність – Інші мови