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