اكتمال تورنغ

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

A property of a system that indicates it can, in principle, perform any computation that a Turing machine can, given sufficient time and memory. It is commonly used to characterize the expressive power of programming languages and computational models.