fl.formal-languages पर टैग किए गए जवाब

क्या एक एल्गोरिथ्म का निर्माण संभव है जो इनपुट के रूप में एक पुशडाउन ऑटोमैटन के साथ लेता है इस वादे के साथ कि इस ऑटोमेटोन द्वारा स्वीकार की गई भाषा एक नियतात्मक संदर्भ-मुक्त भाषा है और एक नियतात्मक पुशडाउन ऑटोमेटन आउटपुट करती है जो स्वीकार की गई भाषा को …

11 reference-request  computability  fl.formal-languages  automata-theory 

बैरी जे अपनी पुस्तक में कुछ साहसिक दावे करते हैं - मूल रूप से यह कहते हुए कि, एक कार्यक्रम के मूल में, सब कुछ या तो परमाणु या रचना है। फिर चीजों को आसानी से फ़िल्टर किया जा सकता है, फ़िल्टर किया जा सकता है, अपडेट किया जा सकता …

11 fl.formal-languages 

मुझे संभाव्य ऑटोमेटा का परिचय कहां मिल सकता है और वे क्या पहचानते हैं (शब्दों से कुछ कार्य )? क्या इस तरह के कार्यों के लिए एक मानक शब्द है, जो कि संभाव्य परिमित ऑटोमेटा (डीएफए) के लिए "नियमित भाषाओं" के अनुरूप, संभाव्य ऑटोमेटा द्वारा मान्यता प्राप्त हैं?[ ० , …

10 reference-request  fl.formal-languages  probabilistic-automata 

एक नंबर दिया जाए। निम्नलिखित भाषा पर विचार करें L n = {nnn ।एलn= {डब्ल्यू डब्ल्यू|डब्ल्यू ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} शब्दों में, लंबाई 2 n के कॉपी स्ट्रिंग का सेट है ।एलnLnL_n2 एन2n2n पर विचार करें …

10 fl.formal-languages  automata-theory  grammars  context-free 

पृथक्करण समस्या के रूप में जानी जाने वाली औपचारिक भाषाओं में एक खुली समस्या है; जिसे संक्षेप में लंबाई दो अलग-अलग तारों के रूप में कहा गया है, उन्हें अलग करने के लिए DFA की कितनी बड़ी आवश्यकता है, मतलब एक स्ट्रिंग को स्वीकार करें लेकिन दूसरे को अस्वीकार करें।nnn …

10 fl.formal-languages  automata-theory 

बुच्ची-ऑटोमेटा (या मुलर-ऑटोमेटा) को कम करने के लिए मानक दृष्टिकोण क्या है? परिमित शब्दों से सामान्य तकनीक को स्थानांतरित करना, अर्थात दो राज्यों को समान होना यदि राज्य स्वीकार किए गए "रनिंग आउट" शब्द समान हैं, तो काम नहीं करेगा। उदाहरण के लिए, बुची-ऑटोमोटन सभी शब्दों को स्वीकार करने के …

10 fl.formal-languages  automata-theory 

इस सवाल के बारे में है वहाँ किसी भी ज्ञात प्रतिवर्ती ट्यूरिंग tarpits, कर रहे हैं कि क्या जहां के अर्थ में "प्रतिवर्ती" का अर्थ है एक्सेलसेन और Glück , और "tarpit" एक बहुत अधिक अनौपचारिक अवधारणा है (और शब्द का एक बहुत अच्छा विकल्प नहीं हो सकता है), लेकिन …

10 fl.formal-languages  computability  machine-models 

एक नियतात्मक automaton एक = ( एक्स , क्यू , क्यू 0 , एफ , δ )A=(X,Q,q0,F,δ)\mathcal A = (X, Q, q_0, F, \delta) कहा जाता है कश्मीरkk -local के लिए कश्मीर > 0k>0k > 0 हर के लिए अगर डब्ल्यू ∈ एक्स कश्मीरw∈Xkw \in X^k सेट { δ ( …

10 fl.formal-languages  automata-theory  synchronization 

लंबाई के बाइनरी स्ट्रिंग्स की एक गैर-खाली भाषा पर विचार करें । मैं इनपुट के साथ एक बूलियन सर्किट साथ वर्णन कर सकता हूं और एक आउटपुट जैसे कि iff _ सही है : यह अच्छी तरह से जाना जाता है।एन एल सी एन सी ( डब्ल्यू ) डब्ल्यू ∈ …

10 fl.formal-languages  circuit-complexity 

अध्याय 13 में नैन्सी लिंच की पुस्तक "डिस्ट्रिब्यूटेड अल्गोरिद्म" की "एटॉमिक ऑब्जेक्ट्स" को रैखिकता (जिसे एटमॉसिटी भी कहा जाता है) एक सुरक्षा संपत्ति साबित होती है। कहने का तात्पर्य यह है कि इसकी संबंधित ट्रेस प्रॉपर्टी गैर-रिक्त, उपसर्ग-बंद और सीमा-बंद है , जैसा कि धारा 8.5.3 में परिभाषित है। अनौपचारिक …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

चलो एक विषय से मुक्त भाषा हो। परिभाषित करें पी पी सी ( एल ) के पूर्व और पोस्टफ़िक्स बंद होने के लिए एल दूसरे शब्दों में,, पी पी सी ( एल ) के सभी शामिल हैं एल के उपसर्गों और postfixes, और इसलिए एल ही। मेरा प्रश्न: यदि L …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

मैं आटोमोटिव में नियमित अभिव्यक्ति को बदलने के लिए एल्गोरिदम का एक वर्गीकरण तैयार करने की कोशिश कर रहा हूं ताकि विशिष्ट डोमेन में उनकी जटिलता गुणों के कुछ अनुभवजन्य परीक्षण किए जा सकें। मुझे 'बड़े' नामों में से कई के बारे में पता है, जैसे, थॉम्पसन "रेगुलर एक्सप्रेशन सर्च …

10 automata-theory  fl.formal-languages  regular-expressions 

हे सब, मैं वर्तमान में ऑटोमेटा सिद्धांत या औपचारिक भाषाओं से संबंधित कुछ शाखा से संबंधित एक ठोस मास्टर्स थीसिस विषय खोजने की कोशिश कर रहा हूं। मैं एक अच्छे विषय के लिए कुछ अच्छे विचार उत्पन्न करने की कोशिश कर रहा हूँ, एक ही समय में कुछ महत्वाकांक्षी लेकिन …

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

नियतात्मक संदर्भ-मुक्त भाषाएँ (DCFL) और दृश्यमान पुशडाउन भाषाएँ (VPL) दोनों ही संदर्भ-मुक्त भाषाओं (CFL) और नियमित भाषाओं (REG) के बीच औपचारिक भाषाओं के समूह हैं। क्या पठनीय संकेतन है जो सादे ASCII में बैकस-नाउर-फॉर्म जैसे सीएफएल के लिए और रेगुलर एक्सप्रेशन रेग के लिए व्यक्त किया जा सकता है?

10 fl.formal-languages 

एक डीएफए या एनएफए एक स्ट्रिंग के साथ एक इनपुट हेड के माध्यम से पढ़ता है, बाएं से दाएं चलता है। ऐसा लगता है कि परिमित-राज्य मशीनों के बारे में आश्चर्य करना स्वाभाविक है , जिनके कई सिर हैं , जिनमें से प्रत्येक बाएं से दाएं इनपुट से गुजरता है, …

10 fl.formal-languages  automata-theory  regular-language  nfa