The CuCh Machine

बोहेम क्यूच एक छोटी लेकिन शक्तिशाली इंटरैक्टिव प्रोग्रामिंग प्रणाली है, जो इस प्रकार काम करने में सक्षम है:
(1) एक तार्किक और अंकगणितीय प्रोग्राम करने योग्य कैलक्यूलेटर
(2) एक कार्यात्मक प्रोग्रामिंग सिस्टम
(3) एक सीयूएच सामान्य रूप से reducer वस्तुओं

सीयूएच मशीन का प्रतिनिधित्व करता है:
- करी संयोजक तर्क के संश्लेषण के लिए औपचारिक रूपरेखा और अच्छी तरह से सिद्ध गणितीय सेटिंग्स के सेट में चर्च लैम्ब्डा-कैलकुस
- एक सिद्ध और उपजाऊ दृष्टिकोण जिसे अनुसंधान और कार्यान्वयन के 50 वर्षों से अधिक विकसित किया गया है, सैद्धांतिक कंप्यूटर विज्ञान में प्रमुख पत्रों से आरएसटी में से एक

एक भाषा का विचार जिसमें करी कम्बिनेटर और चर्च लैम्ब्डा कैलकुस शामिल है, सबसे पहले ऑटोमेटा थ्योरी में बोहेम ग्रॉस "क्यूच का परिचय" के पेपर में प्रस्तुत किया गया है
एड। Caianiello, Ass.Press (1 9 66)। एक एल्गोरिदम जो किसी भी CuCh अवधि में कमी की अनुमति देता है
सामान्य रूप से कोराडो बोहमडेज़ानी द्वारा एक पेपर में स्पष्ट किया जाता है "द क्यूच मशीन: बाध्य चर के स्वचालित उपचार" आईजेसीआईएस (जून 1 9 72 और जून 73)।
80 के उत्तरार्ध में, वुल्फ ग्रॉस (1 9 66) के साथ तैयार की गई सीयूएच मशीन के बाद मनाया गया
कोराडो बोहम ने एक नई कुच मशीन को साकार करने की परियोजना शुरू की। Corrado के कई छात्रों ने उन्हें इस परियोजना में, विशेष रूप से Stefano Guerrini और लेखकों में से एक में मदद की
(लुइगी Mazzucchelli)।

इसकी क्षमताओं, इसकी पोर्टेबिलिटी (उदाहरण के लिए एक ऐप), और इसके संदर्भ में इसकी संभावित भूमिका
कार्यात्मक प्रोग्रामिंग प्रतिमान का व्यापक उपयोग कंप्यूटर विज्ञान में कुंजी कमी मशीनों में से एक को क्यूच बनाता है।