automata पर टैग किए गए जवाब

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

10 logic  automata  linear-temporal-logic  buchi-automata 

शीर्षक में सवाल बहुत ज्यादा है। क्या कभी ऐसा समय होता है, जहां कुछ भाषाएलएलL के साथ एक न्यूनतम DFA द्वारा स्वीकार किया जा सकता है nnn बताता है, लेकिन एलआरएलआरL^Rका उलटा एलएलL, के साथ एक DFA द्वारा स्वीकार किया जा सकता है ममm राज्यों, जहां म &lt; nम&lt;nm<n?

10 formal-languages  reference-request  automata  finite-automata 

मैं DFA का एक उदाहरण कैसे बना सकता हूं जिसमें राज्य हैं जहां समकक्ष NFA के पास राज्य हैं। जाहिर है डीएफए के राज्य-सेट में एनएफए के राज्य-सेट के सभी सबसेट होने चाहिए, लेकिन मुझे नहीं पता कि कैसे शुरू किया जाए। मुझे सही रास्ते पर लाने के लिए कोई …

10 automata  finite-automata 

एक प्रमेय है जो कहता है कि: होने एक परिमित अवस्था automaton को देखते हुए , राज्यों अगर वहाँ एक स्ट्रिंग मौजूद जिसकी लंबाई संतुष्ट तो द्वारा स्वीकार की गई भाषा अनंत है।nnnwwwn≤|w|≤2n−1n≤|w|≤2n−1n \leq |w| \leq 2n-1 मुझे समझ में आया बाधा , लेकिन मुझे समझ में नहीं आता कि …

9 automata  finite-automata 

डीएफए, एनएफए और एप्सिलॉन एनएफए तीनों हमें एक विशेष नियमित भाषा का प्रतिनिधित्व करने की अनुमति देते हैं। उन अभ्यावेदन में से किसी एक के साथ हम एक ही नियमित अभिव्यक्ति तक पहुँच सकते हैं, फिर हमें फाइनेंशियल ऑटोमेटा के प्रतिनिधित्व के सभी तीन रूपों का अध्ययन करने की आवश्यकता …

9 automata  finite-automata  education 

हम DFA द्विआधारी संख्या को स्वीकार करने से विभाज्य फार्म कर सकते हैं ।nnn उदाहरण के लिए डीएफए को द्विआधारी संख्या को 2 से स्वीकार करना निम्नानुसार बनाया जा सकता है: इसी प्रकार डीएफए को बाइनरी संख्या को 3 से विभाजित करके स्वीकार किया जा सकता है: हम इन प्रकार …

9 regular-languages  automata  finite-automata  regular-expressions 

मैंने हॉपक्रॉफ्ट और उल्मैन की पुस्तक का उपयोग करके गैर निर्धारक ऑटोमेटा का अध्ययन करना शुरू कर दिया है । मैं एक समस्या में फंस गया हूँ जो मुझे बहुत दिलचस्प लगी: एक गैर नियतात्मक परिमित ऑटोमोटन को सभी स्ट्रिंग्स को स्वीकार करते हुए मान लें जो निम्न तालिका के …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism