linear-temporal-logic पर टैग किए गए जवाब

2
बुची ऑटोमेटा और रैखिक
यह एक ज्ञात तथ्य है कि हर एलटीएल फॉर्मूला को बुची _ डिपोमाटन द्वारा व्यक्त किया जा सकता है । लेकिन, जाहिरा तौर पर, बुची ऑटोमेटा एक अधिक शक्तिशाली, अभिव्यंजक मॉडल है। मैंने कहीं सुना है कि बुची ऑटोमेटा रैखिक-समय कैलकुलस (यानी, _ -कुलकस के साथ सामान्य फ़िक्सपॉइंट और केवल …

6
तत्वों के पुनरावृत्ति के बिना जोड़े के एक सेट से संयोजन उत्पन्न करना
मेरे पास जोड़े का एक सेट है। प्रत्येक जोड़ी फॉर्म (x, y) की है जैसे कि x, y सीमा से पूर्णांक के हैं [0,n)। तो, यदि n 4 है, तो मेरे पास निम्नलिखित जोड़े हैं: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) मेरे पास पहले से ही जोड़े हैं। अब, मुझे …

1
गतिशील तर्क और लौकिक तर्क के बीच का अंतर
अंतर जानने के लिए, मैं सिर्फ में लौकिक तर्क के बारे में नीचे वक्तव्य दिये का सामना करना पड़ा था विकिपीडिया : गतिशील तर्क के साथ कई सामान्य विशेषताओं को साझा करने वाले मोडल लॉजिक का एक और प्रकार, उपर्युक्त सभी लॉजिक्स से भिन्न होता है, जिसे पुनेली ने "अंतर्जात" …

1
एलटीएल के लिए नियतात्मक बुची ऑटोमेटन का अनुवाद करने के लिए एल्गोरिथ्म (जब संभव हो)
रैखिक लौकिक तर्क और नियतात्मक बुची ऑटोमेटा अतुलनीय हैं: डीबीए व्यक्त नहीं कर सकता है , और एलटीएल "कम से कम प्रत्येक विषम पत्र '' ए" नहीं व्यक्त कर सकता है । लेकिन कभी-कभी यह जानना दिलचस्प होता है कि एलटीएल में डीबीए की भाषा व्यक्त की जा सकती है …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.