यह कॉम्बिनेटरी रिडक्शन सिस्टम्स एक्सटेंडेड नाम का लिनक्स ऐप है जिसकी नवीनतम रिलीज को crsx401.zip के रूप में डाउनलोड किया जा सकता है। इसे वर्कस्टेशन के लिए मुफ्त होस्टिंग प्रदाता ऑनवर्क्स में ऑनलाइन चलाया जा सकता है।
कॉम्बिनेटरी रिडक्शन सिस्टम्स एक्सटेंडेड विद ऑनवर्क्स नाम के इस ऐप को मुफ्त में ऑनलाइन डाउनलोड करें और चलाएं।
इस ऐप को चलाने के लिए इन निर्देशों का पालन करें:
- 1. इस एप्लिकेशन को अपने पीसी में डाउनलोड करें।
- 2. हमारे फ़ाइल प्रबंधक में https://www.onworks.net/myfiles.php?username=XXXXX उस उपयोगकर्ता नाम के साथ दर्ज करें जो आप चाहते हैं।
- 3. इस एप्लिकेशन को ऐसे फाइल मैनेजर में अपलोड करें।
- 4. इस वेबसाइट से ऑनवर्क्स लिनक्स ऑनलाइन या विंडोज ऑनलाइन एमुलेटर या मैकोज़ ऑनलाइन एमुलेटर शुरू करें।
- 5. ऑनवर्क्स लिनक्स ओएस से आपने अभी शुरुआत की है, हमारे फाइल मैनेजर को https://www.onworks.net/myfiles.php?username=XXXXX उस यूजरनेम के साथ जाएं जो आप चाहते हैं।
- 6. एप्लिकेशन डाउनलोड करें, इसे इंस्टॉल करें और इसे चलाएं।
संयुक्त न्यूनीकरण प्रणाली का विस्तार
Ad
वर्णन
जावा में प्रायोगिक विस्तार के साथ कॉम्बिनेटरी रिडक्शन सिस्टम (सीआरएस) का कार्यान्वयन। सीआरएस 1980 में JWKlop द्वारा आविष्कृत उच्च-क्रम पुनर्लेखन के लिए एक औपचारिकता है। अधिक जानकारी के लिए प्रोजेक्ट/वेब साइट देखें।
विशेषताएं
- शब्द पुनर्लेखन
- औपचारिक विशिष्टताओं से कंपाइलर उत्पन्न करें
- उच्चतर आदेश पुनर्लेखन
- लैम्ब्डा कैलकुलस
दर्शक
उन्नत अंतिम उपयोगकर्ता, विज्ञान/अनुसंधान
यूजर इंटरफेस
कमांड लाइन, ग्रहण
प्रोग्रामिंग भाषा
सी, जावा
यह एक एप्लिकेशन है जिसे https://sourceforge.net/projects/crsx/ से भी प्राप्त किया जा सकता है। हमारे निःशुल्क ऑपरेटिव सिस्टमों में से एक से सबसे आसान तरीके से ऑनलाइन चलाने के लिए इसे ऑनवर्क्स में होस्ट किया गया है।