الموسوعة العربية | الآلة المنتهية الحالات
آلة تورينغ Turing machine: هي نموذج رياضي تجريدي يعبّر عن الأدا الوظيفي للحسابات المتتالية أو «الميكانيكية». صَمّم هذا النموذج آلان تورينغ Alan Turing للحصول على تعريف دقيق لمفهوم الخوارزمية أو»الإجرائية الميكانيكية».