ল্যাম্বা ক্যালকুলাসে এই জাতীয় সংযোজক নির্দিষ্ট করার জন্য প্রয়োজনীয় বিমূর্ততা এবং অ্যাপ্লিকেশনগুলির সংখ্যা দ্বারা পরিমাপ করা আমি সর্বনিম্নতম সর্বজনীন সমন্বয়কারী সন্ধান করছি । সর্বজনীন সংযোজকগুলির উদাহরণগুলির মধ্যে রয়েছে:
- আকার 23: .f.f (fS (KKKI)) কে
- আকার 18: .f.f (fS (KK)) কে
- আকার 14: .f.fKSK
- আকার 12: .f.fS (λxyz.x)
- আকার 11: .f.fSK
যেখানে এস = λxyz.xz (YZ) এর মাপ 6 এবং K = এর λxy.x আকার 2 এর combinators হয় এস কে combinator ক্যালকুলাস । প্রথম 4 টি উদাহরণ এই কাগজে বর্ণিত হয়েছে ।
আমার প্রশ্নগুলি হ'ল:
- আকারে ছোট এমন কোনও সার্বজনীন কম্বিনেটর রয়েছে কি?
- ক্ষুদ্রতম সম্ভাব্য সর্বজনীন সমন্বয়কারী কী?
সম্পাদনা করুন: দেখুন /math//a/180263/76284 রয়েছে যা λazbc.bc(a(λy.c))
(যা অন্তর্ভুক্ত হয়ে যেতাম আকার 8 , এস কে ভিত্তি আকারের যোগফল মিলে)। এই সংযুক্তকারী থেকে কীভাবে এস এবং কে প্রকাশ করতে হয় কেউ জানেন?
λx*.E
যেখানে E
বিমূর্তি মুক্ত?