एप्लिकेटिव कंप्यूटिंग सिस्टम

एप्लिकेटिव कंप्यूटिंग सिस्टम, या एसीएस, संयोजनात्मक तर्क और लैम्ब्डा कैलकुलस पर स्थापित ऑब्जेक्ट कैलकुली के सिस्टम हैं। इन प्रणालियों में विचाराधीन एकमात्र आवश्यक धारणा वस्तु (कंप्यूटर विज्ञान) का प्रतिनिधित्व है। कॉम्बिनेटरी लॉजिक में एकमात्र मेटाऑपरेटर एक ऑब्जेक्ट को दूसरे पर लागू करने के अर्थ में फ़ंक्शन अनुप्रयोग है। लैम्ब्डा कैलकुलस में दो मेटाऑपरेटर का उपयोग किया जाता है: फ़ंक्शन एप्लिकेशन - कॉम्बिनेटरी लॉजिक के समान, और कार्यात्मक अमूर्तन जो एक ऑब्जेक्ट में एकमात्र वेरिएबल को बांधता है।

विशेषताएँ
इन प्रणालियों में उत्पन्न वस्तुएँ निम्नलिखित विशेषताओं वाली कार्यात्मक इकाइयाँ हैं:


 * 1) तर्क स्थानों की संख्या, या वस्तु की संख्या निश्चित नहीं है, लेकिन अन्य वस्तुओं के साथ अंतःसंचालन में चरण दर चरण सक्षम कर रही है;
 * 2) यौगिक वस्तु को उत्पन्न करने की प्रक्रिया में इसके समकक्षों में से एक-कार्य-को दूसरे तर्क-तर्क पर लागू किया जाता है-लेकिन अन्य संदर्भों में वे अपनी भूमिका बदल सकते हैं, यानी कार्यों और तर्कों को समान अधिकार पर माना जाता है;
 * 3) फ़ंक्शंस के स्वयं-अनुप्रयोग की अनुमति है, अर्थात किसी भी वस्तु को स्वयं पर लागू किया जा सकता है।

एसीएस प्रोग्रामिंग के लिए अनुप्रयोगात्मक प्रोग्रामिंग भाषा के लिए एक मजबूत आधार प्रदान करता है।

अनुसंधान चुनौती
एप्लिकेटिव कंप्यूटिंग सिस्टम में भंडारण और इतिहास संवेदनशीलता की कमी मूल कारण है कि उन्होंने कंप्यूटर डिजाइन के लिए आधार प्रदान नहीं किया है। इसके अलावा, अधिकांश एप्लिकेटिव सिस्टम लैम्ब्डा कैलकुलस के प्रतिस्थापन ऑपरेशन को अपने मूल ऑपरेशन के रूप में नियोजित करते हैं। यह ऑपरेशन वस्तुतः असीमित शक्ति में से एक है, लेकिन इसका पूर्ण और कुशल कार्यान्वयन मशीन डिजाइनर के लिए बड़ी कठिनाइयाँ प्रस्तुत करता है।

यह भी देखें

 * एप्लिकेटिव प्रोग्रामिंग भाषा
 * श्रेणीबद्ध अमूर्त मशीन
 * संयोजन तर्क
 * कार्यात्मक प्रोग्रामिंग
 * लैम्ब्डा कैलकुलस

अग्रिम पठन

 * [This volume reflects the research program and philosophy of H. Curry, one of the founders of computational models and the deductive framework for reasoning in terms of objects.]