ল্যাম্‌ডা ক্যালকুলাস: সংশোধিত সংস্করণের মধ্যে পার্থক্য

বিষয়বস্তু বিয়োগ হয়েছে বিষয়বস্তু যোগ হয়েছে

রৈখিক

২৩:০৬, ১৭ অক্টোবর ২০০৬ তারিখে সংশোধিত সংস্করণ

ল্যাম্ব্‌ডা ক্যালকুলাস (λ-calculus) কম্পিউটারের আচরণ অধ্যয়নের জন্য জনপ্রিয় একটি গাণিতিক ব্যবস্থা। আলোন্‌জো চার্চ তার তাত্ত্বিক গবেষণায় কম্পিউটেবল ফাংশনের ধারণাকে এর মাধ্যমে প্রকাশ করেন। চার্চ-টুরিং প্রকল্প দাবী করে যে, যে কোন কম্পিউটিং সমস্যাকে এর মাধ্যমে (বা টুরিং মেশিনের মাধ্যমে) প্রকাশ করা যায়।

সংজ্ঞা

ল্যাম্ব্‌ডা ক্যালকুলাস হলো ল্যাম্ব্‌ডা রাশিমালার বিজ্ঞান, যেখানে ল্যাম্ব্‌ডা রাশিগুলো মূলত এক প্যারামিটারবিশিষ্ট ফাংশন, যারা প্যারামিটার হিসেবে অপর কোন ল্যাম্ব্‌ডা রাশি নেয়, এবং এর ফলাফল আরেকটি ল্যাম্ব্‌ডা রাশি। গঠনগতভাবে ল্যাম্ব্‌ডা রাশিগুলো হল

চলক যাকে একটি অক্ষর দিয়ে প্রকাশ করা হয়, যেমন $x$ (আসলে এই চলকটিও একটি ফাংশন (সকল ল্যাম্ব্‌ডা রাশিই যেহেতু ফাংশন) কিন্তু একে কারো উপর প্রয়োগ করা হয় নি)।
প্রয়োগ একটি ল্যাম্ব্‌ডা রাশিকে আরেকটি ল্যাম্ব্‌ডা রাশির উপর প্রয়োগ করা যায়। প্রয়োগ বুঝাতে যাকে প্রয়োগ করা হচ্ছে এবং যার উপর প্রয়োগ করা হচ্ছে সেই রাশি দুইটিকে পরপর লেখা হয়, যেমন $(MN)$ , যেখানে $M$ কে $N$ এর উপর প্রয়োগ করা হচ্ছে। সম্পূর্ণ রাশিটির মান হল এই প্রয়োগের ফলাফল রাশিটি।
অ্যাবস্ট্রাকশন একটি ল্যাম্ব্‌ডা রাশি থেকে যখন কোন একটি চলককে সরিয়ে নেয়া হয় তখন এরকম একটি ফাংশন হয় যাকে অন্য কোন রাশির উপর প্রয়োগ করলে রাশিটির মান হবে ঐ চলককে ঐ রাশিটি দিয়ে প্রতিস্থাপন করলে যেই রাশিটি পাওয়া যায়। কোন রাশি $M$ থেকে কোন চলক $x$ কে সরিয়ে নিলে যে ফাংশনটি পাওয়া যায় তাকে লেখা হয় $(\lambda x.\,M$ ), একে অন্য কোন রাশি $N$ এর উপর প্রয়োগ করলে পাওয়া যায় $M[x:=N]$ , অর্থাৎ $M$ এ সকল $x$ কে $N$ দিয়ে প্রতিস্থাপন করলে যে রাশিটি পাওয়া যায়।

উদাহরণ

$\lambda x.\,x$ রাশিটিকে যার উপর প্রয়োগ করা হয়, রাশিটির মান তাই হয়। অর্থাৎ $(\lambda x.\,x)\,y\rightarrow _{\beta }y$ , ফাংশনটি অভেদ ফাংশন।
সাধারণভাবে, কোন ফাংশন $f$ কে কোন মান $x$ এর উপর প্রয়োগ করলে ফলাফল হয় $(f\,x)$ , ধরা যাক $f$ হলো ফ্যাকটোরিয়াল ফাংশন, আর $x$ এর মান $3$ , তাহলে $(f\,x)\rightarrow _{\beta }({\mbox{factorial}}\,3)\rightarrow _{\beta }6$ .

গণিত বিষয়ক এই নিবন্ধটি অসম্পূর্ণ। আপনি চাইলে এটিকে সম্প্রসারিত করে উইকিপিডিয়াকে সাহায্য করতে পারেন।

@@ ৫ নং লাইন: / ৫ নং লাইন: @@
 * '''চলক''' যাকে একটি অক্ষর দিয়ে প্রকাশ করা হয়, যেমন <math>x</math> (আসলে এই চলকটিও একটি ফাংশন (সকল ল্যাম্ব্‌ডা রাশিই যেহেতু ফাংশন) কিন্তু একে কারো উপর প্রয়োগ করা হয় নি)।
 * '''প্রয়োগ''' একটি ল্যাম্ব্‌ডা রাশিকে আরেকটি ল্যাম্ব্‌ডা রাশির উপর প্রয়োগ করা যায়। প্রয়োগ বুঝাতে যাকে প্রয়োগ করা হচ্ছে এবং যার উপর প্রয়োগ করা হচ্ছে সেই রাশি দুইটিকে পরপর লেখা হয়, যেমন <math>(M N)</math>, যেখানে <math>M</math>কে <math>N</math>এর উপর প্রয়োগ করা হচ্ছে। সম্পূর্ণ রাশিটির মান হল এই প্রয়োগের ফলাফল রাশিটি।
-* '''অ্যাবস্ট্রাকশন''' একটি ল্যাম্ব্‌ডা রাশি থেকে যখন কোন একটি চলককে সরিয়ে নেয়া হয় তখন এরকম একটি ফাংশন হয় যাকে অন্য কোন রাশির উপর প্রয়োগ করলে রাশিটির মান হবে ঐ চলককে ঐ রাশিটি দিয়ে প্রতিস্থাপন করলে যেই রাশিটি পাওয়া যায়। কোন রাশি <math>M</math> থেকে কোন চলক <math>x</math> কে সরিয়ে নিলে যে ফাংশনটি পাওয়া যায় তাকে লেখা হয় <math>\lambda x.\, M</math>, একে অন্য কোন রাশি <math>N</math> এর উপর প্রয়োগ করলে পাওয়া যায় <math>M [x:=N]</math>, অর্থাৎ <math>M</math>
+* '''অ্যাবস্ট্রাকশন''' একটি ল্যাম্ব্‌ডা রাশি থেকে যখন কোন একটি চলককে সরিয়ে নেয়া হয় তখন এরকম একটি ফাংশন হয় যাকে অন্য কোন রাশির উপর প্রয়োগ করলে রাশিটির মান হবে ঐ চলককে ঐ রাশিটি দিয়ে প্রতিস্থাপন করলে যেই রাশিটি পাওয়া যায়। কোন রাশি <math>M</math> থেকে কোন চলক <math>x</math> কে সরিয়ে নিলে যে ফাংশনটি পাওয়া যায় তাকে লেখা হয় <math>(\lambda x.\, M</math>), একে অন্য কোন রাশি <math>N</math> এর উপর প্রয়োগ করলে পাওয়া যায় <math>M [x:=N]</math>, অর্থাৎ <math>M</math>এ সকল <math>x</math>কে <math>N</math> দিয়ে প্রতিস্থাপন করলে যে রাশিটি পাওয়া যায়।
-এ সকল <math>x</math>কে <math>N</math> দিয়ে প্রতিস্থাপন করলে যে রাশিটি পাওয়া যায়।
+== উদাহরণ ==
+* <math>\lambda x.\, x</math> রাশিটিকে যার উপর প্রয়োগ করা হয়, রাশিটির মান তাই হয়। অর্থাৎ <math>(\lambda x.\, x)\,y \rightarrow_\beta y</math>, ফাংশনটি অভেদ ফাংশন।
+* সাধারণভাবে, কোন ফাংশন <math>f</math>কে কোন মান <math>x</math>এর উপর প্রয়োগ করলে ফলাফল হয় <math>(f\,x)</math>, ধরা যাক <math>f</math> হলো [[ফ্যাকটোরিয়াল]] ফাংশন, আর <math>x</math>এর মান <math>3</math>, তাহলে <math>(f\,x)\rightarrow_\beta(\mbox{factorial}\, 3)\rightarrow_\beta 6</math>.