أسئلة محدودة

Question

هل هناك عدد محدود من الأسئلة التي يمكن طرحها بشأن لغة معينة (وأو الموضوع)، على سبيل المثال - لT-SQL بالنظر إلى أن هناك فقط الكثير من الأوامر، يمكن أن يكون هناك عدد محدود من غير المتكررة الأسئلة؟ وإذا كان الأمر كذلك يمكنك استخدام ذلك لتحديد حجوم موقع مثل ستاكوفيرفلوو وتحديد احتمال سؤالا جديدا يجري تكرار واحد مسبق؟ إذا كان هناك عدد محدود، كيف تحديد / حساب ذلك: على سبيل المثال، T-SQL ديه x عدد من الأوامر، ويمكن لكل واحد أن يكون مجموعة من الأسئلة ذات الصلة (لغوي، ومثال على الاستخدام، وما إلى ذلك) - حتى يمكن لل # من الأسئلة = س الأوقات المحتملين الأسئلة الوقت بعض الاختلاف ذات الصلة؟ أو شيء من هذا القبيل؟

Answer 1

ويتم التعبير عن سؤال كومة تجاوز كتسلسل طول محدود من وحدات البايت. ويمكن للمرء من حيث المبدأ النظر في الجسم السؤال من حيث عدد صحيح، أعرب أدنى أرقام لأول مرة، في قاعدة 256 (أو أكبر، إذا كنت ترغب في التفكير في الامر كما يونيكود). هذا هو دالة تقابلية بين الأسئلة وأرقام كاملة. وبالتالي فإن كل مجموعة من الأسئلة تجاوز سعة مكدس له أصل لا حصر له countably (كيف يمكنني تنضيدها \ aleph_0 في SO؟).

Answer 2

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

Answer 3

وأنا متأكد من تورينج يقول لا، وإذا كنت لا أصدقه لهم غودل قد يكون لديك ما تقوله حول هذا الموضوع.