এমন প্রোগ্রামিং ল্যাঙ্গুয়েজ লেখা অসম্ভব যা সমস্ত মেশিনগুলিকে অনুমতি দেয় যা সমস্ত ইনপুটগুলিতে থামে এবং অন্য কেউ নয়। যাইহোক, মনে হয় যে কোনও স্ট্যান্ডার্ড জটিলতা শ্রেণীর জন্য এই জাতীয় প্রোগ্রামিং ভাষার সংজ্ঞা দেওয়া সহজ। বিশেষত, আমরা একটি ভাষা নির্ধারণ করতে পারি যেখানে আমরা সমস্ত দক্ষ গণনা এবং কেবল দক্ষ গণনা প্রকাশ করতে পারি।
উদাহরণস্বরূপ, ভালো কিছু জন্য : আপনার প্রিয় প্রোগ্রামিং ভাষা নেওয়া, এবং আপনি আপনার প্রোগ্রাম (টুরিং মেশিন সংশ্লিষ্ট লিখতে পর এম ' ), হেডার তিন মান যোগ করুন: একটি পূর্ণসংখ্যা গ , এবং পূর্ণসংখ্যা ট , এবং একটি ডিফল্ট আউটপুট ঘ । যখন প্রোগ্রাম কম্পাইল করা হয়, আউটপুট একটি টুরিং মেশিন এম যে প্রদত্ত ইনপুট x এর আকারের এন রান এম ' তে X জন্য গ এন ট ধাপ। তাহলে এম ' আগে বন্ধ করে না গ এন টপদক্ষেপগুলি সমাপ্ত, ডিফল্ট আউটপুট আউটপুট । যদি আমার ভুল না হয় তবে এই প্রোগ্রামিং ল্যাঙ্গুয়েজগুলি আমাদের পি এবং সমস্ত কিছু গণনা প্রকাশ করার অনুমতি দেবে । যাইহোক, এই প্রস্তাবিত ভাষা সহজাতভাবে অ-আকর্ষণীয়।
আমার প্রশ্ন: এমন কোন প্রোগ্রামিং ল্যাঙ্গুয়েজ রয়েছে যেগুলি অল্প-তুচ্ছ উপায়ে কম্পিউটেবল ফাংশনগুলির (যেমন সমস্ত দক্ষতার সাথে গণ্যযোগ্য ফাংশন) উপসেটগুলি ক্যাপচার করে? যদি না থাকে তবে এর কোনও কারণ আছে কি?