প্রশ্ন ট্যাগ «interaction-nets»

নিম্নলিখিত শব্দটি (ব্রুজন-ইনডেক্স ব্যবহার করে): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) যখন কোনও গির্জার নম্বরে প্রয়োগ করা হয় তখন Nনিষ্পাপ লোকগুলি সহ বেশ কয়েকটি বিদ্যমান মূল্যায়নকারীগুলিতে দ্রুত স্বাভাবিক ফর্মের মূল্যায়ন করে …

10 cc.complexity-theory  lambda-calculus  interaction-nets 

ইন্টারেক্টেশন কম্বিনেটরগুলির পূর্বে calc-ক্যালকুলাসের জন্য একটি সংকলন লক্ষ্য হিসাবে প্রস্তাব করা হয়েছিল। সেই কাগজটি সম্পূর্ণ calc-ক্যালকুলাস প্রয়োগ করে। এটি আরও জানা যায় যে EAL- টাইপযোগ্য λ-পদগুলির সাবসেটের জন্য λ- ক্যালকুলাসের ইন্টারঅ্যাকশন-নেট এনকোডিংগুলি অনুকূল করা সম্ভব । সেই কাগজটি EAL- টাইপযোগ্য λ-পদার্থকে ইন্টারঅ্যাকশন জালগুলিতে অনুবাদ করে λ-ক্যালকুলাসের উপসেটটি প্রয়োগ করে যা …

10 lambda-calculus  functional-programming  interaction-nets