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