ট্যুরিং-মেশিন এবং ল্যাম্বদা - ক্যালকুলাস কেবলমাত্র সেগুলিই সংজ্ঞায়িত করতে পারে b functions ফাংশনগুলির সমতুল্য ।λএন → এন
গণনামূলক জটিলতার দৃষ্টিকোণ থেকে তারা অন্যরকম আচরণ করে বলে মনে হয়। প্রধান কারণ মানুষ মেশিন টুরিং এবং ব্যবহার না -calculus জটিলতা সম্পর্কে কারণ হল ব্যবহার -calculus অবাস্তব জটিলতা ব্যবস্থাগুলো naively বিশালাকার, কারণ আপনার অবাধে একক মধ্যে (নির্বিচারে আকারের) শর্তাবলী অনুলিপি করতে পারেন -reduction পদক্ষেপ, যেমনঅন্য কথায়, একক হ্রাস পদক্ষেপ -calculus একটি বিশ্রি খরচ মডেল আছে। বিপরীতে, একক টুরিং-মেশিন হ্রাস পদক্ষেপগুলি দুর্দান্ত কাজ করে (রিয়েল-ওয়ার্ল্ড প্রোগ্রাম রান-টাইমের ভাল ভবিষ্যদ্বাণীকারী অর্থে)।λλβ( λ x । x x x ) এম। এমএমএম।λ
ল্যাম্বদা-ক্যালকুলাসে প্রচলিত টুরিং-মেশিন ভিত্তিক জটিলতার তত্ত্বটি কীভাবে পুনরুদ্ধার করা যায় তা জানা
যায়নি। একটি সাম্প্রতিক (2014) যুগান্তকারী Accattoli এবং ডাল লাগো
যেমন সময় জটিলতা যে বৃহৎ শ্রেণীর দেখানোর জন্য পরিচালিত , এবং দেওয়া যায় একটি প্রাকৃতিক -calculus তৈয়ার। তবে অ্যাক্যাটোলি / ডাল লাগো কৌশলগুলি ব্যবহার করে বা মতো ছোট ক্লাস উপস্থাপন করা যায় না।λপি এন পি ই এক্স পি λ হে ( ঢ 2 ) হে ( ঢপিএনপিইএক্সপিλও ( এন)2)ও (এন)l ও জিএন )
ল্যাম্বদা-ক্যালকুলাস ব্যবহার করে কীভাবে প্রচলিত স্থান জটিলতা পুনরুদ্ধার করা
যায় তা অজানা।λ