reversible-computing पर टैग किए गए जवाब

में कंकड़ खेल एक लाइन पर वहाँ एन 1 नोड्स एन के माध्यम से 0 लेबल खेल नोड 0. पर एक कंकड़ के साथ शुरू होता है अगर कोई नोड पर एक कंकड़ मैं, आप जोड़ सकते हैं या नोड i + 1 से एक कंकड़ को दूर कर सकते …

13 complexity  reversible-computing 

अवधि कार्यक्रम उलट अर्थ के कई रंगों है, लेकिन शायद के साथ जे मैकार्थी के 1956 काम शुरू कर दिया गया ट्यूरिंग मशीन द्वारा परिभाषित कार्य द उलट ऐ के संदर्भ में। अब तक प्रोग्राम उलटा और अन्य क्षेत्रों के बीच कई कनेक्शन खोजे जा चुके हैं, जैसे प्रतिवर्ती प्रोग्रामिंग …

10 reference-request  lambda-calculus  typed-lambda-calculus  reversible-computing