اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
هي آلة تورنغ التي تحاكي عمل الالات تورنغ، بشكل غير رسمي آلة تورنغ الكونية عملها مشابه لعمل المُصرف (compiler) حيث أنَّ مُدخل المُصرف برنامج بلغة برمجة مُعينة ويقوم بكتابة برنامج الحاسوب قادر على تنفيذه خطوة خطوة، بشكل رسمي : يوجد آلة تورنغ كونية بحيث أنَّ لكل , . بالإضافة إذا تتوقف خلال T خطوات على المُدخل x , حينها تتوقف خلال حيث أنَّ C هو عدد يتعلق بكبر أبجدية M وعدد الاشرطة وعدد الحالات .