- [ وسطاء عقاريين السعودية ] يزن طارق بن سعيد الغامدي ... الدمام ... المنطقة الشرقية
- [ تعرٌف على ] كمال تورنغ
- [ وسطاء عقاريين السعودية ] بدر خالد صالح المحيميد ... بريده ... منطقة القصيم
- [ تعرٌف على ] قائمة العائلات اللغوية
- [ متاجر السعودية ] هوند ... المدينة المنورة ... منطقة المدينة المنورة
- [ تعرٌف على ] نيوزيلنديون لبنانيون
- [ حكمــــــة ] « الزهد في الدنيا أن لا تأسى على ما فاتك منها ، ولا تفرح بما أتاك منها »
- [ تعرٌف على ] كأس قبرص 1982–83
- [ تعرٌف على ] مطار توزر نفطة الدولي
- [ تعرٌف على ] الدوري الألماني 2018–19
- [ وسطاء عقاريين السعودية ] نواف مناحي عبدالله العتيبي ... المويه ... منطقة مكة المكرمة
- [ حكمــــــة ] عن الحسن رحمه الله : إياكم والغيبة والذي نفسي بيده لهي أسرع في الحسنات من النار في الحطب . عن سفيان سمع محمد بن المنكدر يقول : يمكنكم من الجنة إطعام الطعام وطيب الكلام .
- [ تعرٌف على ] تانغيباهوا (لويزيانا)
- [ تعرٌف على ] تخمير البيوتانديول
- [ مؤسسات البحرين ] مؤسسة محمد ناصر الحسون الغامدي للمقاولات ... منامة
- [ تعرٌف على ] زاهو
- [ تعرٌف على ] زودعية
- [ شركات مقاولات السعودية ] مؤسسة المديد للمقاولات ... الهفوف ... الشرقية
- [ تأمين السعودية ] نجم لخدمات التأمين
- [ فنادق السعودية ] فندق ايلاف بكة
- [ وسطاء عقاريين السعودية ] نواف محمد شائع القحطاني ... الرياض ... منطقة الرياض
- [ تعرٌف على ] خوارزمية الاختيار
- [ وسطاء عقاريين السعودية ] احمد ابراهيم علي حرملي ... صامطه ... منطقة جازان
- [ وسطاء عقاريين السعودية ] نوف محمد عبدالله الصعيب ... الرياض ... منطقة الرياض
- [ تعرٌف على ] لون
- [ وزارات وهيئات حكومية السعودية ] ابتدائية ابن الأثير - بريدة
- [ صيدليات السعودية ] صيدلية زهرة الروضة
- [ متاجر السعودية ] برنسيس فاترينا ... مكة المكرمة ... منطقة مكة المكرمة
- [ وسطاء عقاريين السعودية ] محمد احمد يحى الزهراني ... جدة ... منطقة مكة المكرمة
- [ وسطاء عقاريين السعودية ] موسى بن عبدالعالي بن غالي الصاعدي ... مكه المكرمه ... منطقة مكة المكرمة
- [ مقاولون السعودية ] مؤسسة عبد الرحمن الغامدى للمقاولات
- [ وسطاء عقاريين السعودية ] محمد سعد ابن سعد القحطاني ... جدة ... منطقة مكة المكرمة
- [ متاجر السعودية ] جواهر علي بن حسن الشمري ... الاحساء ... المنطقة الشرقية
- [ تعرٌف على ] أبراهام أدان
- [ أكلات سريعة ] طريقة زنجر الدجاج
- [ وسطاء عقاريين السعودية ] نواف سعد سعيد الاحمري ... خميس مشيط ... منطقة عسير
- [ تعرٌف على ] قبة بصلية
- [ تعرٌف على ] علاج رقمي
- [ حكمــــــة ] قال مكرما الأزدي : كفاك همك بذنبك من توبتك إقلاعا وإنابة. عن جسر أبو جعفر قال : قلت ليونس : يا أبا عبد الله ، مررت بقوم يختصمون في القدر قال : « لو كان أهمتهم ذنوبهم ما اختصموا في القدر »
- [ وسطاء عقاريين السعودية ] نواف بن فهد بن علي البكيري ... الرياض ... منطقة الرياض
- [ تعرٌف على ] حضانة منفصلة
- [ خذها قاعدة ] من يحيا متوافقا مع نفسه يحيا متوافقا مع الكون. - ماركوس أوريليوس
- [ تأملات قرآنية ] تعريف سورة الحديد
- [ تعرٌف على ] أمريكا المفتوحة 2002 - فردي السيدات
- [ تعرٌف على ] مصارعة
- [ وسطاء عقاريين السعودية ] نسرين محمد شامي العطار ... صبياء ... منطقة جازان
- [ تعرٌف على ] قائمة البعثات الدبلوماسية الفرنسية
- [ خذها قاعدة ] أن سببا من أسباب الإرهاب يعود إلى غياب المنهج وعجز المنطق، وسوء الفهم عندما يتصور البعض أن جميع الإجابات واردة وجاهزة، لكنها مخفية عنهم وعنا، وإذا كنا لا نجد، وإذا كانوا لا يجدون، فأغلب ظنهم أن مرجع ذلك إلى عجز عقولنا وعقولهم، وقصور إدراكنا وإدراكهم، ومثل هذه الظنون، هي أشبه ما تكون بحوار النفس مع النفس، أو حوار الخطيب مع المرآة، وهو حوار يقود إلى تضخيم الإحساس بالذات، والتحليق في أوهام الحق المطلق، وجند الله وحزب الرحمن، وطبيعي إذا تضخمت الذات بهذه الدرجة، أن تنفجر في غياب الحوار، وأن نعاني جميعًا من تناثر شظاياها إرهابًا هنا وهناك. - فرج فودة
- [ متاجر السعودية ] نقاءك اجمل ... الجبيل ... المنطقة الشرقية
- [ فوائد الزيوت للبشرة ] زيت الزيتون للصدر
- [ تعرٌف على ] العشرية السوداء في الجزائر
- [ تعرٌف على ] العلاقات الدومينيكانية المولدوفية
- [ تعرٌف على ] ماهاما جونسون تراوري
- [ تجميل ومكياج ] كيفية تنظيف فرشاة الشعر
- [ مؤسسات البحرين ] آيلاون هاوس لأنشطة المكاتب الرئيسة أو الإدارية تضامن لأصحابها رملة حسن وشريكتها ... المنطقة الشمالية
- [ خذها قاعدة ] أنت تعرف من نفسك ما لا يعرفه الآخرون , وإن عرفوه لن يصدقوه , وإن صدقوه لن يتذكروه ولن يذكروه. - غازي القصيبي
- [ عيون ] 6 أسباب لحدوث المياه البيضاء في العين
- [ آية ] ﴿ وَلَوْ يُؤَاخِذُ ٱللَّهُ ٱلنَّاسَ بِظُلْمِهِم مَّا تَرَكَ عَلَيْهَا مِن دَآبَّةٍ وَلَٰكِن يُؤَخِّرُهُمْ إِلَىٰٓ أَجَلٍ مُّسَمًّى ۖ فَإِذَا جَآءَ أَجَلُهُمْ لَا يَسْتَـْٔخِرُونَ سَاعَةً ۖ وَلَا يَسْتَقْدِمُونَ ﴾ [ سورة النحل آية:﴿٦١﴾ ](ولو يؤاخذ الله الناس بظلمهم) من غير زيادة ولا نقص (ما ترك عليها من دابة) أي: لأهلك المباشرين للمعصية وغيرهم من أنواع الدواب والحيوانات؛ فإن شؤم المعاصي يهلك به الحرث والنسل. (ولكن يؤخرهم) عن تعجيل العقوبة عليهم إلى أجل مسمى؛ وهو يوم القيامة. (فإذا جاء أجلهم لا يستأخرون ساعة ولا يستقدمون) فليحذروا ما داموا في وقت الإمهال قبل أن يجيء الوقت الذي لا إمهال فيه. السعدي:443.
- [ مؤسسات البحرين ] شركة نوماك عسكر لخدمات الطاقة الشمسية ذ.م.م ... منامة
- [ تعرٌف على ] كبريتات المغنيسيوم
- [ تعرٌف على ] عدد كسري
- [ مطاعم السعودية ] الزاوية الأفريقية للسيرية
- [ مؤسسات البحرين ] قصر فرشته لمستحضرات التجميل ... المنطقة الشمالية
- [ دليل دبي الامارات ] مجوهرات روسيلا في سوق الذهب ... دبي
- [ دليل دبي الامارات ] الفاخرة اللاقمشة الرجالية بالجملة و القطاعي ... دبي
- [ وسطاء عقاريين السعودية ] عاصم نبيل محمد ال اسماعيل ... المدينه المنوره ... منطقة المدينة المنورة
- [ مقاولون السعودية ] الشركة العربية للألمنيوم المحدودة - المكو
- [ وزارات وهيئات حكومية السعودية ] ابتدائية محمد الفاتح - بريدة
- [ وزارات وهيئات حكومية السعودية ] مندوبية التربية والتعليم (بنات) - مدير المندوبية
- [ وسطاء عقاريين السعودية ] محمد سعد بن محمد البقمي ... الرياض ... منطقة الرياض
- [ مطاعم الامارات ] كافتيريا الثمن ... الشارقة
- [ ملابس السعودية ] معرض قصر الطفولة للملابس
- [ مراكز تدريب الامارات ] مركز التعليم المستمر - جامعة الإمارات العربية المتحدة
- [ وسطاء عقاريين السعودية ] موسي سعيد احمد الزهراني ... جدة ... منطقة مكة المكرمة
- [ تعرٌف على ] لغات سامية
- [ تعرٌف على ] مقاومة كهربائية
- [ مطاعم السعودية ] مطعم حليمه للأكلات المصريه
- [ حكمــــــة ] حال السلف مع القرآن : عن حُسين العَنْقَزِيِّ قال: لما نزل بابن إدريس رحمه الله الموتُ، بكَتْ بنتُه، فقال: لا تبكي يا بُنَيَّة، فقد ختمتُ القرآن في هذا البيت أربعةَ آلاف خَتمة. [السير (تهذيبه) 2/796].
- [ خذها قاعدة ] الحب يأتي مرة واحدة في العمر، والإعجاب مرات، فلا تخلط بينهم فتندم !! - مارك توين
- [ وزارات وهيئات حكومية السعودية ] مركز صحى شرى
- [ وسطاء عقاريين السعودية ] الجازي محبوب مرزوق الطلال ... الرياض ... منطقة الرياض
- [ وسطاء عقاريين السعودية ] عائشه عبدالله صلاح النهمى ... جدة ... منطقة مكة المكرمة
- [ محامين السعودية ] عمر عبدالله صالح المشيقح ... بريده
- [ وسطاء عقاريين السعودية ] مكتب توفيق خضر حامد المديني القرشي للعقار ... صامطه ... منطقة جازان
- [ متاجر السعودية ] رك تشوكلت ... الرياض ... منطقة الرياض
- [ وسطاء عقاريين السعودية ] ياسر مفرح حسن الصعدي ... قنا ... منطقة عسير
- [ مطاعم السعودية ] فيلفيت لاونج كافيه
- [ وزارات وهيئات حكومية السعودية ] الدفاع المدنى
- [ متاجر السعودية ] موسسة مبارك حمود الشمري لبيع الجوالات ... رفحا ... منطقة الحدود الشمالية
- [ سيارات السعودية ] ورشة الفيصل للسمكرة
- [ مطاعم السعودية ] مطعم ارطغرل شاه
- [ وسطاء عقاريين السعودية ] عبدالعزيز عبدالرحمن براهيم الصمعاني ... بريده ... منطقة القصيم
- [ تعرٌف على ] مدحت باشا
- [ تعرٌف على ] توجيه (شبكات)
- [ تعرٌف على ] قائمة وزارات تونس
- [ وسطاء عقاريين السعودية ] مؤسسة همس الجنوب للعقار ... صامطه ... منطقة جازان
- [ تعرٌف على ] رافينا (نيويورك)
- [ وسطاء عقاريين السعودية ] أنور مدالله سالم الشراري ... القريات ... منطقة الجوف
- [ تعرٌف على ] غنت-وفلجم للسيدات 2019
- [ حكمــــــة ] الاستشكال والتساؤل العلمي فرع عن المعرفة، هناك استشكالات وإيرادات في أبواب من العلم.. لا تنشأ إلا بعد فهم علوم وأبوابٍ أخرى!
- شركة نقل اثاث بالرياض|ظواهر الخليج
- تفسير حلم رؤية القضيب أو العضو الذكري في المنام لابن سيرين
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- سؤال وجواب | هل يجوز للرجل حلق شعر المؤخرة؟ وهل هناك طريقة محددة لذلك ؟
- تفسير حلم رؤية الميت يشكو من ضرسه في المنام
- رؤية طفل بعيون خضراء في المنام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
- الفضاء اللوني (ص ش ض) و (ص ش ق) الاستخدام
[ تعرٌف على ] كمال تورنغ # أخر تحديث اليوم 2024/05/22
تم النشر اليوم 2024/05/22 | كمال تورنغ
الفيزياء الرقمية
كل قوانين الفيزياء المعروفة لها نتائج قابلة للحساب على الكمبيوتر الرقمي عن طريق سلسلة من التقريبات. توجد فرضية تسمى الفيزياء الرقمية تنص على أن هذا الأمر ليس من قبيل الصدفة، لأن الكون نفسه قابل للحوسبة على آلة تورنغ العامة. وهذا يعني أنه لا يمكن أن يتم بناء أي كمبيوتر أقوى من آلة تورنغ العامة بشكل فيزيائي (انظر أطروحة تشرتش–تورنغ).
أمثلة
النظم الحاسوبية (الجبر، الحساب) التي يتم مناقشتها كنظم تورنغ كاملة هي تلك المخصصة لدراسة علوم الكمبيوتر النظرية. وهي تهدف إلى أن تكون بسيطة بقدر الإمكان، وبالتالي سيكون من الأسهل أن نفهم حدود الحاسبات. وهنا بعض الأمثلة: نظرية الأتومات
الرسمية القواعد الصورية (مولدات اللغة)
اللغة الصورية (التعرف على اللغة)
حسابات اللامدا
آلات ما بعد تورنغ
معظم لغات البرمجةالتقليدية وغير التقليدية، هي كاملة حسب تورنغ. وهذا يشمل: جميع اللغات ذات الأغراض العامة التي تستخدم على نطاق واسع.
لغات البرمجة الإجرائية مثل C، Pascal.
لغات البرمجة كائنية التوجه مثل CIL، جافا، وSmalltalk.
اللغات متعددة نموذج مثل آدا، C++, Common Lisp, اوبجكت باسكال.
معظم اللغات التي تستخدم نماذج أقل شيوعا
وظيفية لغات مثل Lisp وهاسكل.
لغات البرمجة المنطقية مثل Prolog.
لغات التعريفية مثل XSLT.
لغات البرمجة الباطنية، شكل من أشكال الرياضيات المسلية التي يعمل المبرمجين فيها على كيفية تحقيق المباني الأساسية للبرمجة المعادلة رياضيا للغة تورنغ.
نظم إعادة الكتابة أيضا كاملة حسب تورنغ-. تورنغ اكتمال مجردة بيان القدرة، بدلا من وصفة طبية محددة ميزات اللغة المستخدمة لتنفيذ هذه القدرة. الميزات المستخدمة لتحقيق تورنغ اكتمال يمكن أن تكون مختلفة تماما، Fortran نظم استخدام حلقة بنيات أو ربما حتى غوتو البيانات لتحقيق التكرار؛ هاسكل وProlog، تفتقر إلى حلقات تقريبا، استخدام العودية. معظم لغات البرمجة التي تصف العمليات الحسابية على فون نيومان أبنية، والتي الذاكرة (ذاكرة الوصول العشوائي وتسجيل) وحدة التحكم. اثنين من هذه العناصر تجعل هذه العمارة تورنغ-كاملة. حتى نقي اللغات الوظيفية هي تورنغ-كاملة. الألعاب
العديد من الألعاب كاملة حسب تورنغ- عن طريق الصدفة. ألعاب الفيديو: جديلة
قزم القلعة
ماين كرافت
كاسحة ألغام
ليتل بيغ بلانت
Factorio
بوكيمون الأصفر
ألعاب الورق: السحر: الجمع
ألعاب صفر-أشخاص (المحاكاة): لعبة كونواي الحياة
التاريخ
كمال تورنغ كاف للقول بأن تصميم أي جهاز حوسبة في العالم الحقيقي يمكن محاكاته من قبل آلة تورنغ العامة. إن أطروحة تشرتش–تورنغ تنص على أن قانون الرياضيات يقول أنه يمكن لآلة تورنغ العامة، من حيث المبدأ، أداء أي حساب يستطيع أي حاسوب مبرمج أداؤه.إن هذا لا يخبر شيئا عن الجهد اللازم لكتابة البرنامج، أو الوقت قد تستغرقه الآلة لأداء الحساب، أو أي قدرات لا علاقة لها بالحساب يجب أن تمتلكها الآلة. المحرك التحليلي لتشارلز باباج (1830) كان أول آلة كاملة حسب تورنغ فيما لو تم بناؤها في ذلك الوقت الذي صممت فيه. قدر باباج أن الآلة لها قدرة كبيرة على الحساب، بما في ذلك الاستدلال المنطقي البدائي، لكنه لم يقدر أن أي آلة أخرى يمكن أن تفعل ما هو أفضل. من 1830 حتى 1940 الميكانيكية بنيت الآلات الحاسبة مثل الجامعات والضاربات، ولكن لم يمكنها أن تؤدي التفرع الشرطي وبالتالي لم تكن كاملة حسب تورنغ. في أواخر القرن 19، صاغ ليوبولد كرونيكير مفاهيم الحوسبة، وتحديد التوابع العودية الأولية. يمكن أن تحسب هذه التوابع عن طريق الحوسبة التلقينية، ولكنها ليست كافية لصنع كمبيوتر عام، لأن التعليمات التي تحسبها لا تسمح بوجود حلقة لا نهائية. في أوائل القرن 20، قاد ديفيد هيلبرت برنامجاً لتأطير كل الرياضيات التي يمكن أن تؤديها الآلة بالبديهيات الدقيقة والقواعد المنطقية للاستنتاج. سرعان ما أصبح واضحا أن مجموعة صغيرة من قواعد الاستنتاج تكفي لإنتاج حصيلة أي مجموعة من البديهيات. أثبت كورت غودل في عام 1930 أن هذه القواعد كافية لإنتاج أية مبرهنة. ومع ذلك، فإن قواعد الاستنتاج هذه تثيت بعض المبرهنات دائما كصحيحة وخاطئة على حد سواء، داخل تأطير ما لا أبسط من بديهيات بيانو على سبيل المثال. بعد ذلك بفترة قصيرة تم عزل مفهوم الحساب الفعلي، ابتداء بمبرهنة عدم الاكتمال لغودل. أظهرت هذه النظرية أن نظم البديهيات كانت محدودة عند حل المحاسبات التي تستنتج نظرياتها. أثبت تشرتش وتورنغ بشكل مستقل أن مسألة اتخاذ القرار ل هيلبيرت غير قابلة للحل، ومن ثم تحديد نواة الحسابية لمبرهنة عدم الاكتمال. هذه الجهود جنبا إلى جنب مع جهود غودل على التوابع العودية العامة، أكدت أن هناك مجموعات من التعليمات البسيطة، التي، عندما توضع معا، فإنها قادرة على إنتاج أي محاسبة. جهود غودل أظهرت أن فكرة تدوين المحاسبات هي في الأساس فريدة من نوعها.
الاستخدام غير الرياضي
في العامية استخدام مصطلحي «كامل حسب تورنغ» أو «تكافؤ تورنغ» كان يعني أن أي العالم الحقيقي العامة الغرض الكمبيوتر أو الكمبيوتر لغة يمكن أن ما يقرب من محاكاة الجوانب الحسابية من أي دولة أخرى في العالم الحقيقي الكمبيوتر للأغراض العامة أو لغة الكمبيوتر. أجهزة الكمبيوتر الحقيقية التي شيدت حتى الآن هي في جوهرها مماثلة لآلة تورنغ ذو الشريط احد؛ وهكذا فان الرياضيات المرتبطة يمكن أن تطبق عليها بما فيه الكفاية من خلال تجريد عملها. ومع ذلك، فان أجهزة الكمبيوتر الحقيقية محدودة الموارد المادية، لذلك فهي اوتومات محدود خطي كامل. في المقابل، فانالكمبيوتر العام تم تعريفه كجهاز مع مجموعة تورنغ كاملة التعليمات، مع ذاكرة لانهائية، ووقت متوفر غير محدود.
ملاحظات
.
نظرية الحاسوبية
النتيجة الأولى من نظرية الحاسوبية هو أنه بشكل عام فإنه من المستحيل التنبؤ بماذا سيفعل برنامج كامل حسب تورنغ ضمن فترة زمنية طويلة. على سبيل المثال، من أجل كل زوج برنامج-دخل فإنه من المستحيل تحديد إذا كان البرنامج الذي يشتغل على دخل معين، سوف يتوقف في نهاية المطاف أو سوف تستمر إلى الأبد (انظر مسألة التوقف). إنه من المستحيل تحديد ما إذا كان البرنامج سيعيد «صح TRUE» أو «خطأ FALSE». من أجل أية خاصية للخرج النهائي للبرنامج، فإنه من المستحيل تحديد ما إذا كان سوف يتم التوصل لهذه الخاصية. في الممارسة العملية يمكن أن يسبب هذا الأمر المشاكل عند تحليل البرامج الحاسوب الحقيقية. تجنب ذلك يتم بجعل البرامج تنهي التنفيذ بعد فترة محددة من الوقت (المهلة)، أو بالحد من قوة التعليمات المتحكمة بتدفق البرنامج. أنظمة كهذه هي في تصميمها ليست كاملة حسب تورنغ. هناك مبرهنة أخرى تدل على أن هناك مشاكل قابلة للحل من قبل اللغات الكاملة حسب تورنغ ولا يمكن حلها من قبل أي لغة لا تحوي سوى قدرات محدودة للحلقات (هذا يعني أي لغة تضمن أن كل برنامج سوف ينهي التنفيذ في نهاية المطاف). بفرض اللغة تضمن الانتهاء، فإن التابع المحسوب من قبل جدل كانتور القطري على كل التوابع المحسوبة في تلك اللغة هو ليس محسوباً في تلك اللغة.
إيحاءات تورنغ
إن جهاز كمبيوتر مع الوصول إلى شريط لانهائي من البيانات قد يكون أقوى من آلة تورنغ: فعلى سبيل المثال، جهاز كمبيوتر ذو الشريط قد يحوي حلاً لمسألة التوقف أو لمسائل تورنغ أخرى غير قابلة للحسم. يسمى الشريط البيانات اللانهائي هذا بإيحاء تورنغ.
تعاريف رسمية
في نظرية الحاسوبية توجد عدة مصطلحات مرتبطة تستخدم لوصف قوة الحوسبة لنظام حوسبة (مثل آلة مجردة أو لغة البرمجة): كمال تورنغ
النظام الحوسبي الذي يمكنه حساب كل وظيفة قابلة للحساب حسب تورنغ يسمى كامل حسب تورنغ (أو قوي حسب تورنغ). بدلا من ذلك، مثل هذا النظام هو ما يمكنه محاكاةآلة تورنغ العامة.
تكافؤ تورنغ
يسمى النظام الكامل حسب تورنغ مكافئاً لتورنغ إذا كانت كل وظيفة يمكن أن يحسبها تحسب أيضا في تورنغ؛ أي أنه يحسب بالضبط نفس الدرجة من الوظائف كما تفعل آلة تورنغ. بدلا من ذلك، النظام المكافئ لتورنغ هو النظام الذي يمكنه محاكاة آلة تورنغ العامة، ويمكنها محاكاته. (كل النظم الكاملة حسب تورنغ المعروفة هي أنظمة مكافئة لتورنغ، وهذا ما يدعم أطروحة تشرتش–تورنغ).
العمومية (الحسابية)
يسمى نظام ما عاماً فيما يخص صفا من النظم إذا كان يمكنه حساب كل وظيفة قابلة للحساب من قبل الأنظمة في ذلك الصف (أو يمكنه محاكاة أي من هذه الأنظمة). يستخدم مصطلح العمومية عادة ضمنيا فيما يتعلق بصف النظم الكاملة حسب تورنغ. مصطلح «العام الضعيف» يستخدم أحيانا للتمييز بين نظام (مثل الخلايا ذاتية السلوك) الذي تتحقق عموميته فقط عن طريق تعديل معيار تعريف آلة تورنغ بحيث تشمل إدخال تيارات لانهائية العدد من الرقم 1.
لغات غير كاملة حسب تورنغ
توجد العديد من اللغات الحسابية غير كاملة حسب تورنغ. أحد الأمثلة على ذلك هو مجموعة اللغات المنظمة التي يتم إنشاؤها من قبل التعابير المنظمة والتي هي يمكن تمثيلها بالأتومات المنتهي. توجد فئة أكثر قوة ولكنها لا تزال غير كاملة حسب تورنغ وتعتبر امتداداً محدوداً للأتومات المنتهي وهي فئة الأتومات ذو المكدس والقواعد خارح السياق التي تستخدم عادة لتوليد أشجار الإعراب في المرحلة الأولية من ترجمة البرنامج. أمثلة أخرى تشمل بعض الإصدارات المبكرة للغات الرسوم المضمنة في Direct3D وOpenGL امتداد[بحاجة لمصدر]. في لغات البرمجة التابعية الكلية مثل اللغات تشاريتي وإيبيغرام، جميع التوابع كلية ومجبرة على الانتهاء. تستخدم تشاريتي النوع ونظام تدفق التحكم على أساس نظرية الفئة، في حين يستخدم إيبيغرام الأنواع المرتبطة. لغات البيانات
مفهوم كمال تورنغ لا ينطبق على لغات مثل XML، HTML، JSON, YAML وتعبيرات-S لأنها تستخدم عادة لتمثيل البيانات المهيكلة، وليس لتصف المحاسبات. يشار إليها في بعض الأحيان لغات الترميز أو أكثر بشكل دقة «لغات الاحتواء» أو «لغات وصف البيانات». غير أن القاعدة 110، الاتومات الخلوي الكمال حسب تورنغ، قد طبقت بنجاح في CSS ، مما يثبت (إلى حد ما) كمالها حسب تورنغ (في الواقع لا يتفق الجميع، مثل فرانسيس مكابي على أن CSS كاملة حسب تورنغ لأنه لا يوجد خيار لبناء التوابع في CSS).
شرح مبسط
في نظرية الحاسوبية، يقال عن نظام قواعد التعامل مع البيانات (مثل مجموعة التعليمات لكمبيوتر، لغة البرمجة، أوخلايا ذاتية السلوك) بأنها كاملة حسب تورنغ أو عامة حسابيا إذا كان يمكن استخدامها لمحاكاة أي آلة تورنغ وحيدة الشريط. يستقى هذا المفهوم من عالم الرياضيات الإنجليزي آلان تورنغ. المثال التقليدي هو حساب لامدا.