آلة تورينغ هي نموذج رياضي تم تطويره بواسطة آلان تورينغ في عام 1936. تُستخدم هذه الآلة لفهم كيفية عمل الحواسيب من خلال محاكاة العمليات الحسابية. تتكون من شريط غير محدود يمكنه قراءة وكتابة الرموز، ورأس يمكنه التحرك على الشريط. تعتبر آلة تورينغ أساسًا لنظرية الحوسبة، حيث تُظهر أن أي عملية حسابية يمكن تنفيذها بواسطة حاسوب يمكن محاكاتها بواسطة آلة تورينغ. هذا النموذج ساهم في تطوير علوم الحاسوب وفهم البرمجة بشكل أعمق.