Теорія обчислюваності – Інші мови