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