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

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

30 logic  automata  formal-methods  linear-temporal-logic  buchi-automata 

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

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

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

12 logic  linear-temporal-logic  temporal-logic 

रैखिक लौकिक तर्क और नियतात्मक बुची ऑटोमेटा अतुलनीय हैं: डीबीए व्यक्त नहीं कर सकता है , और एलटीएल "कम से कम प्रत्येक विषम पत्र '' ए" नहीं व्यक्त कर सकता है । लेकिन कभी-कभी यह जानना दिलचस्प होता है कि एलटीएल में डीबीए की भाषा व्यक्त की जा सकती है …

10 logic  automata  linear-temporal-logic  buchi-automata