পটভূমি
Λ-ক্যালকুলাস শর্তাদি ভিজ্যুয়ালাইজিং
বিখ্যাত ল্যাম্বডা-জাগলার (এবং কোড গল্ফার ) জন ট্রম্প λ-ক্যালকুলাসে পদগুলির একটি আকর্ষণীয় ভিজ্যুয়ালাইজেশন তৈরি করেছিলেন । তাঁর কথায়:
বিমূর্ততা (ল্যাম্বডাস) আনুভূমিক রেখাগুলি দ্বারা চিহ্নিত করা হয়, তাদের বাঁধাই ল্যাম্বডা থেকে নিচের দিকে উল্লম্ব রেখাগুলি দ্বারা ভেরিয়েবল এবং বামতমতম ভেরিয়েবলগুলি সংযুক্ত অনুভূমিক লিঙ্কগুলি দ্বারা অ্যাপ্লিকেশনগুলি।
উদাহরণস্বরূপ, ল্যাম্বডা শব্দ λf.λx.f (f (f (fx))) ভিজ্যুয়ালাইজেশনের সাথে মিলে যায়:
-------------------
| | | |
-------------------
| | | | |
| | | |----
| | |----
| |----
|----
|
উপরে থেকে নীচে এটি পড়ুন:
- প্রথম অনুভূমিক রেখাটি প্রথম represents উপস্থাপন করে λ
- এটি থেকে নেমে আসা চারটি রেখা শরীরে f গুলিকে উপস্থাপন করে ।
- একইভাবে, দ্বিতীয় অনুভূমিক রেখাটি দ্বিতীয় λ উপস্থাপন করে এবং এর থেকে নেমে আসা একক নতুন রেখাটি শরীরে এক্সকে উপস্থাপন করে ।
- ডানদিকের এফ লাইন এবং এক্স লাইনটি কোনও অ্যাপ্লিকেশন (এফ এক্স) উপস্থাপনকারী একটি অনুভূমিক রেখার দ্বারা সংযুক্ত করা হয়েছে ।
- পরবর্তী অ্যাপ্লিকেশনটি হ'ল (চ (চ x)) , এবং সেটার।
চার্চ সংখ্যা
চার্চ সংখ্যাসমূহ , λ-ক্যালকুলাস পদ একটি নির্দিষ্ট অনুক্রম নিম্নলিখিত প্যাটার্ন গ্রহণ:
0 = λf. λx. x
1 = λf. λx. f x
2 = λf. λx. f (f x)
3 = λf. λx. f (f (f x))
...
কার্য
একটি ইনপুট নম্বর দেওয়া এন , কিছু হওয়া ASCII শিল্প প্রিন্ট করা হবে visualizes এন ম চার্চ সংখ্যা। উদাহরণস্বরূপ, উপরের উদাহরণটি আপনার টার্গেট আউটপুট যখন n = 4 দেওয়া হয় । জন্য এন = 0 , মুদ্রণ:
---
---
|
|
পরীক্ষার মামলা
আপনার উত্তর হবে আউটপুট ঠিক একই পাঠ্য (মডিউল চিহ্ন নতুন লাইন) সমস্ত পূর্ণসংখ্যা ইনপুট জন্য এই স্ট্যাকের স্নিপেট হিসাবে এন ≥ 0 :
এই কোড-গলফ, তাই বাইটস মধ্যে সংক্ষিপ্ত কোড।
.repeat
।