lambda-calculus पर टैग किए गए जवाब

13
लावारिस लैंबडा कैलकुलस के लिए एक दुभाषिया लिखें
चुनौती यह है कि जितने संभव हो उतने लैंबडा कैलकुलस के लिए एक दुभाषिया लिखें । हम अप्रकाशित लैम्ब्डा कैलकुलस को इस प्रकार परिभाषित करते हैं: वाक्य - विन्यास निम्नलिखित तीन प्रकार के भाव हैं: एक लैम्ब्डा अभिव्यक्ति का वह रूप है (λ x. e)जहाँ xकोई भी कानूनी चर नाम …

22
पुनरावर्ती स्ट्रिंग प्रतिस्थापन
काम एक प्रोग्राम या समारोह है कि दिए गए तीन तार लिखें A, B, Cएक आउटपुट स्ट्रिंग जहां के प्रत्येक उदाहरण का उत्पादन Bमें Aरिकर्सिवली के साथ प्रतिस्थापित किया गया है C। रिकर्सिवली एक प्रतिस्थापन जहां हर कदम पर के सभी गैर-अतिव्यापी उदाहरणों दोहरा साधन प्रतिस्थापन Bमें A(लालच से चुना …
25 code-golf  string  substitution  code-golf  math  code-golf  string  set-theory  code-golf  code-golf  compile-time  code-golf  kolmogorov-complexity  binary  code-golf  sequence  cops-and-robbers  code-golf  subsequence  card-games  code-golf  sequence  primes  code-golf  code-golf  number  graphical-output  music  code-golf  ascii-art  code-golf  string  lambda-calculus  code-golf  string  code-generation  code-golf  unicode  code-golf  math  combinatorics  code-golf  balanced-string  code-golf  sequence  cops-and-robbers  code-golf  sequence  cops-and-robbers  code-challenge  fastest-code  chess  code-golf  math  graphical-output  code-golf  string  hello-world  animation  code-golf  number  arithmetic  code-golf  integer  code-golf  code-golf  combinatorics  code-golf  kolmogorov-complexity  graphical-output  code-golf  string  code-golf  code-golf  game  code-golf  math  combinatorics  code-golf  ascii-art  popularity-contest  random  code-golf  arithmetic  number-theory  integer  code-golf  tips  underload  code-golf  math  sequence  primes  code-golf  math  path-finding  code-golf  ascii-art  primes  code-golf  kolmogorov-complexity  alphabet 

4
एसकेआई संकलक का अनुकूलन
स्की पथरी लैम्ब्डा पथरी कि लैम्ब्डा भाव का उपयोग नहीं करता का एक संस्करण है। इसके बजाय, केवल आवेदन और कॉम्बिनेटर एस , के , और मेरा उपयोग किया जाता है। इस चुनौती में, आपका काम SKI शब्दों को लैम्ब्डा शब्दों में सामान्य रूप में अनुवाद करना है । इनपुट …

1
Λ-अभिव्यक्तियों को SK-अभिव्यक्तियों में बदलें
Λ-पथरी , या लैम्ब्डा पथरी, एक तार्किक अनाम प्रक्रियाएं पर आधारित प्रणाली है। उदाहरण के लिए, यह एक λ-अभिव्यक्ति है: λf.(λx.xx)(λx.f(xx)) हालाँकि, इस चुनौती के प्रयोजनों के लिए, हम इस अधिसूचना को सरल करेंगे: बदलने के λलिए \(टाइप करने के लिए यह आसान बनाने के लिए):\f.(\x.xx)(\x.f(xx)) .लैम्ब्डा हेडर में, अनावश्यक …

8
सम्मिलन प्रकार उलटा
उद्देश्य मूल स्क्रैम्बल सूची उत्पन्न करें, उन आंदोलनों से जो एक सम्मिलन सॉर्ट इसे सॉर्ट करने के लिए करेंगे। मूल सूची से सभी नंबरों को होगा 0करने के लिए N-1(सम्मिलित) जहां Nइनपुट के का आकार है। इनपुट सूची को सॉर्ट करने के लिए आवश्यक चाल वाली एक सूची। प्रत्येक मान …
19 code-golf  array-manipulation  code-golf  code-golf  animation  code-golf  restricted-source  code-golf  java  code-golf  decision-problem  graph-theory  code-golf  conversion  electrical-engineering  code-golf  ascii-art  code-golf  string  substitution  code-golf  math  code-golf  string  set-theory  code-golf  code-golf  compile-time  code-golf  kolmogorov-complexity  binary  code-golf  sequence  cops-and-robbers  code-golf  subsequence  card-games  code-golf  sequence  primes  code-golf  code-golf  number  graphical-output  music  code-golf  ascii-art  code-golf  string  lambda-calculus  code-golf  string  code-generation  code-golf  unicode  code-golf  math  combinatorics  code-golf  balanced-string  code-golf  sequence  cops-and-robbers  code-golf  sequence  cops-and-robbers  code-challenge  fastest-code  chess  code-golf  math  graphical-output  code-golf  string  hello-world  animation  code-golf  number  arithmetic  code-golf  integer  code-golf  code-golf  combinatorics  code-golf  kolmogorov-complexity  graphical-output  code-golf  string  code-golf  code-golf  game  code-golf  math  combinatorics  code-golf  ascii-art  popularity-contest  random  code-golf  arithmetic  number-theory  integer  code-golf  tips  underload  code-golf  math  sequence  primes  code-golf  math  path-finding  code-golf  ascii-art  primes  code-golf  kolmogorov-complexity  alphabet 

4
चर्च के अंकों की कल्पना करें
पृष्ठभूमि Λ-पथरी शब्दों की कल्पना करना प्रसिद्ध लैम्ब्डा-बाजीगर (और कोड गोल्फर ) जॉन ट्रम्प ने λ- पथरी में शर्तों का एक दिलचस्प दृश्य तैयार किया । उनके शब्दों में: अमूर्तता (लंबोदा) को क्षैतिज रेखाओं द्वारा दर्शाया जाता है, ऊर्ध्वाधर रेखाओं द्वारा चर को उनके बंधन लंबोदा से नीचे छोड़ा जाता …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.