यह अल्टरनेटिंग टाइम ऑटोमेटा सॉल्वर नाम का लिनक्स ऐप है जिसकी नवीनतम रिलीज़ को ataoproject_1.2.beta.zip के रूप में डाउनलोड किया जा सकता है। इसे वर्कस्टेशन के लिए मुफ्त होस्टिंग प्रदाता ऑनवर्क्स में ऑनलाइन चलाया जा सकता है।
ऑनवर्क्स के साथ अल्टरनेटिंग टाइम ऑटोमेटा सॉल्वर नाम के इस ऐप को ऑनलाइन डाउनलोड करें और चलाएं।
इस ऐप को चलाने के लिए इन निर्देशों का पालन करें:
- 1. इस एप्लिकेशन को अपने पीसी में डाउनलोड करें।
- 2. हमारे फ़ाइल प्रबंधक में https://www.onworks.net/myfiles.php?username=XXXXX उस उपयोगकर्ता नाम के साथ दर्ज करें जो आप चाहते हैं।
- 3. इस एप्लिकेशन को ऐसे फाइल मैनेजर में अपलोड करें।
- 4. इस वेबसाइट से ऑनवर्क्स लिनक्स ऑनलाइन या विंडोज ऑनलाइन एमुलेटर या मैकोज़ ऑनलाइन एमुलेटर शुरू करें।
- 5. ऑनवर्क्स लिनक्स ओएस से आपने अभी शुरुआत की है, हमारे फाइल मैनेजर को https://www.onworks.net/myfiles.php?username=XXXXX उस यूजरनेम के साथ जाएं जो आप चाहते हैं।
- 6. एप्लिकेशन डाउनलोड करें, इसे इंस्टॉल करें और इसे चलाएं।
अल्टरनेटिंग टाइम ऑटोमेटा सॉल्वर
विवरण:
हमारा लक्ष्य एमटीएल से एटीए समर्थन के साथ, पायथन में एटीए (1 घड़ी के साथ) के लिए एक पूर्ण कार्यशील सॉल्वर विकसित करना है। खालीपन की समस्या के लिए निर्णायकता लासोटा और वालुकिविक्ज़ द्वारा प्रस्तावित की गई थी। ATA को MTL Ouaknine और Worrell द्वारा प्रस्तावित किया गया था।
विशेषताएं
- अल्टरनेटिंग टाइम ऑटोमेटा एम्प्टीनेस सॉल्वर
- एमटीएल से एटीए अनुवाद
- सामान्य ATA संचालन (संघ, पूरक, प्रतिच्छेदन, मॉडल जाँच)
दर्शक
सूचना प्रौद्योगिकी
यूजर इंटरफेस
Qt
प्रोग्रामिंग भाषा
अजगर
डेटाबेस पर्यावरण
एक्सएमएल आधारित
यह एक ऐसा एप्लिकेशन है जिसे https://sourceforge.net/projects/atao/ से भी प्राप्त किया जा सकता है। इसे ऑनवर्क्स में होस्ट किया गया है ताकि इसे हमारे एक फ्री ऑपरेटिव सिस्टम से सबसे आसान तरीके से ऑनलाइन चलाया जा सके।