ทฤษฎีการคำนวณได้ - ภาษาอื่น ๆ