هل مترجم نوع من برنامج تترقيم Gödel؟

Question

سؤال: هو مترجم من برنامج برامج ترقيم Gödel؟

يحكي لنا ويكيبيديا أن مترجم هو: "في الحوسبة، برنامج مترجم هو برنامج كمبيوتر يترجم رمز الكمبيوتر مكتوب بلغة برمجة واحدة (لغة المصدر) في لغة أخرى (اللغة الهدف)". https://en.wikipedia.org/wiki/compiler

أخبرنا ويكيبيديا أيضا: "يعد ترقيم Gödel وظيفة تقوم بتعيين كل رمز وصيغة تتشكل جيدا لبعض اللغات الرسمية رقم طبيعي فريد، يسمى رقم Gödel". https://en.wikipedia.org/wiki/g٪c3٪b6del_numbering< >

العمل المنجز : Intuition يقول نعم. هنا هو خطي الفكر: لغة البرمجة هي لغة رسمية. كل برنامج عبارة عن صيغة مكونة جيدا ومترجم يعين كل رمز لهذه الصيغة إلى تمثيل ثنائي لرقم يمكن أن يقرأ الكمبيوتر. (التفاصيل: جهاز كمبيوتر هو آلة تورينج عالمية، لذلك يمكن أن تؤدي الحساب)

ولكن، لا أعرف تفاصيل كيفية عمل الجوائيات، لذلك جئت إلى هنا لطلب ما إذا كان مفيدي صحيحا.

Answer 1

لا.النظر في وظائف C التالية:

giveacodicetagpre.

إذا كنا نكون ليبرالي بعض الشيء هنا، كلاهما "صيغة مكونة جيدة لبعض اللغة الرسمية".ومع ذلك، سيتم تشغيل معظم المترجمين C مع التحسين سيجمعون هاتين الوظيفتين إلى نفس التعليمات البرمجية بالضبط.هذا ينتهك تفرد ترقيم Gödel.