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

एक नियमित भाषा (NFA, DFA, व्याकरण, या regex) को देखते हुए, किसी दिए गए भाषा में शब्दों को स्वीकार करने की संख्या को कैसे गिना जा सकता है? दोनों "बिल्कुल एन अक्षरों के साथ" और "अधिकांश एन पत्रों के साथ" रुचि के हैं। मार्गरेटा एकरमैन के पास एनएफए द्वारा स्वीकार …

26 ds.algorithms  co.combinatorics  fl.formal-languages  regular-language 

संदर्भ-मुक्त व्याकरण (सीएफजी) से जुड़े कई पत्रों में, वहाँ प्रस्तुत ऐसे व्याकरणों के उदाहरण अक्सर उनके द्वारा उत्पन्न भाषा की आसान विशेषताओं को स्वीकार करते हैं। उदाहरण के लिए: S→aaSbS→aaSbS \to a a S b S→S→S \to जनरेट करता है ,{a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} S→aSbS→aSbS \to a …

25 fl.formal-languages  context-free  context-free-languages 

मैं हाल ही में अर्ली पार्सर पर पढ़ रहा था और मुझे लगता है कि यह सबसे सुरुचिपूर्ण एल्गोरिदम में से एक है जिसे मैंने आज तक देखा है। हालांकि, अपने पारंपरिक अर्थों में एल्गोरिथ्म एक पहचानकर्ता है और एक पार्सर नहीं है , जिसका अर्थ है कि यह पता …

25 fl.formal-languages  parsing 

1) क्या, यदि कोई हो, स्थैतिक टाइपिंग और औपचारिक व्याकरण के बीच संबंध है? 2) विशेष रूप से, क्या यह संभव है कि एक रैखिक बाउंड ऑटोमेटन के लिए यह जांचना संभव है कि क्या, सी + + या एसएमएल कार्यक्रम अच्छी तरह से तैयार है? एक नेस्टेड स्टैक ऑटोमेटन? …

25 automata-theory  fl.formal-languages  pl.programming-languages  type-theory  type-inference 

किसी भी भाषा के लिए से अधिक Σ * , परिभाषित एल 1 / 2 = { x ∈ Σ * : एक्स वाई ∈ एल , y ∈ Σ | x | } । शब्दों में, एल 1 / 2 सभी के होते हैं एक्स जिसके लिए वहाँ एक …

24 fl.formal-languages  automata-theory 

एक निश्चित परिमित वर्णमाला के लिए , एक औपचारिक भाषा से अधिक है नियमित रूप से अगर वहाँ एक से मौजूद है नियतात्मक परिमित automaton (DFA) से अधिक जो वास्तव में स्वीकार करता है ।एल Σ Σ एलΣΣ\SigmaएलLLΣΣ\SigmaΣΣ\SigmaएलLL मुझे उन भाषाओं में दिलचस्पी है जो इस अर्थ में "लगभग" नियमित …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

आप में से कुछ लोग इस प्रश्न का अनुसरण कर रहे होंगे , जो कि अनुसंधान स्तर नहीं होने के कारण बंद था। इसलिए, मैं उस प्रश्न का हिस्सा निकाल रहा हूं जो एक शोध स्तर पर है। "सरल" तकनीकों से परे, जैसे कि छँटाई को कम करने या एक …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

जब गैर-वैज्ञानिक एलआर पार्सिंग के साथ छेड़छाड़ करते हैं, तो मैंने एक पार्सिंग विधि (असीम आकार की तालिकाओं के साथ, जो इसे कुछ हद तक अव्यावहारिक बनाता है ) को समय में बिल्कुल अस्पष्ट व्याकरणों में सक्षम करने के लिए सोचा, और मुझे आश्चर्य हुआ कि क्या करना संभव है …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

इसके अलावा (निर्धारक) संचार जटिलता c c ( R )सीसी(आर)cc(R) एक संबंध आरआरR , आवश्यक संचार की मात्रा के लिए एक और मूल उपाय प्रोटोकॉल विभाजन संख्या पी पी ( आर )पीपी(आर)pp(R) । इन दो उपायों के बीच संबंध एक स्थिर कारक तक जाना जाता है। कुशलीवित्ज और निसान (1997) …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity 

मैं वर्णमाला के ऊपर है कि नियमित भाषाओं देखा स्वाभाविक रूप से एक poset के रूप में सोचा जा सकता है एक जाली, और वास्तव में। इसके अलावा, खाली भाषा के साथ संयोजन एक साथ ε इस श्रेणी है कि वितरण से अधिक मिलती है (मैं नहीं कर रहा हूँ …

21 fl.formal-languages  regular-language  ct.category-theory 

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

21 fl.formal-languages  automata-theory  proofs  grammars 

एक संभवतया संदर्भ-रहित भाषा में लंबाई n के शब्दों की संख्या n wnwnw_n द्वारा निरूपित करें।nnn wnwnw_n बारे में क्या जाना जाता है ? मुझे यकीन है कि यह बहुत अध्ययन किया गया है, लेकिन मुझे इस पर कुछ भी नहीं मिला।

20 fl.formal-languages  context-free 

नियमित अभिव्यक्तियों को देखते हुए , क्या के लिए सबसे छोटे संदर्भ-मुक्त व्याकरण के आकार पर कोई गैर-तुच्छ सीमाएं हैं ?आर 1 ∩ ⋯ ∩ आर एनR1,…,RnR1,…,RnR_1, \dots, R_nR1∩⋯∩RnR1∩⋯∩RnR_1 \cap \cdots \cap R_n

20 fl.formal-languages  regular-language  context-free 

एक परिमित वर्णमाला सिग्मा पर "परिपत्र" भाषाओं के निम्नलिखित वर्ग को परिभाषित करें। दरअसल, यह नाम डीएनए कंप्यूटिंग के क्षेत्र में उपयोग होने वाली एक अलग चीज को दर्शाने के लिए पहले से मौजूद है। AFAICT, यह भाषाओं का एक अलग वर्ग है। एक भाषा एल सभी शब्दों के लिए …

20 fl.formal-languages  automata-theory  regular-language 

यह सर्वविदित है कि समतुल्यता समस्या सामान्य संदर्भ-मुक्त भाषाओं के लिए अनिर्दिष्ट है। हालांकि, इस तथ्य के सभी प्रमाण हैं कि मुझे कुछ अस्पष्ट संदर्भ-मुक्त व्याकरणों को शामिल करने के बारे में पता है। इस कारण से, मैं यह पूछना चाहता हूं कि क्या यह ज्ञात है कि क्या समस्या …

19 fl.formal-languages  grammars  context-free  decidability  undecidability