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