كمال تورنغ
من ويكيبيديا، الموسوعة encyclopedia
في نظرية الحاسوبية، يقال عن نظام قواعد التعامل مع البيانات (مثل مجموعة التعليمات لكمبيوتر، لغة البرمجة، أوخلايا ذاتية السلوك) بأنها كاملة حسب تورنغ أو عامة حسابيا إذا كان يمكن استخدامها لمحاكاة أي آلة تورنغ وحيدة الشريط. يستقى هذا المفهوم من عالم الرياضيات الإنجليزي آلان تورنغ. المثال التقليدي هو حساب لامدا.
هناك مفهوم يرتبط ارتباطا وثيقا هو تكافؤ تورنغ - إذا كان لدينا جهازي كمبيوتر P وQ فإننا نقول بانهما متكافئان حسب تورنغ إذا كان P يمكنه محاكاة Q وQ يمكنه محاكاة P.أطروحة تشرتش-تورنغ تقول بأن أي وظيفة التي يمكن حساب مقاديرها بوساطة خوارزمية يمكن حسابها من قبل آلة تورنغ، وبالتالي أنه إذا كان يمكن محاكاة أي جهاز كمبيوتر في العالم الحقيقي من قبل آلة تورنغ، فهو مكافئ تورنغ لآلة تورنغ. آلة تورنغ العامة يمكن استخدامها لمحاكاة أي آلة تورنغ وبالتالي محاكاة الجوانب الحسابية لأي جهاز كمبيوتر في العالم الحقيقي.
لاظهار ان هناك شيئا كاملاً حسب تورنغ، يكفي إظهار أنه يمكن استخدامه لمحاكاة نظام تورنغ كامل ما. على سبيل المثال، اللغة الأمرية هي كاملة حسب تورنغ إذا كان لديه التفرع المشروط (على سبيل المثال تعليمات، "if" و"go to"، أو أمر "branch if zero". انظر OISC)، والقدرة على تغيير مقدار الذاكرة الأولي (على سبيل المثال، القدرة على الحفاظ على عدد ما من المتغيرات). وبما أن هذا هو الحال دائما تقريبا، معظم (إن لم يكن كل) اللغات حتمية وتورنغ كاملة إذا تم تجاهل القيود المفروضة على ذاكرة محدودة.