تام تورنغ

ما هو مفهوم "تام تورنغ"؟

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

فهم أعمق لمفهوم "تام تورنغ"

عندما تستطيع تقنية أو لغة برمجة محاكاة آلة تورنغ عبر تشغيل أي نوع من البرامج أو حل أي مسألة يمكن لآلة تورنغ تشغيلها أو حلها، يُقال إنها "تامة بمفهوم تورنغ".

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

ولغة سوليديتي (Solidity)، وهي اللغة المستخدمة أساساً لإنشاء عقود إيثيريوم الذكية، مثال على ذلك. وإذا لم تكن اللغة تامة بمفهوم تورنغ، فإن قدرتها على حل جميع أنواع المسائل الحسابية تكون محدودة. أما بيتكوين، على سبيل المثال، فهي ليست تامة بمفهوم تورنغ بحسب تصميمها، لأنها بُنيت كعملة كريبتو لا تدعم سوى وظائف أساسية مثل تحويل القيمة.