Khoa học máy tính lý thuyết – Theo ngôn ngữ khác