প্রশ্ন ট্যাগ «regular-language»

অটোমাতা তত্ত্ব (সসীম অটোমেটা, পুশডাউন অটোমেটা, ...) এবং জটিলতায় "অস্পষ্টতা" ধারণা রয়েছে is যদি সেখানে একটি শব্দ একটি যন্ত্রমানব দ্ব্যর্থক অন্তত দুটি স্বতন্ত্র গ্রহণ রান। একটি মেশিন ট -ambiguous প্রত্যেক শব্দ যদি W মেশিন সেখানে সর্বাধিক দ্বারা গৃহীত ট স্বতন্ত্র রান গ্রহণ করতে W ।wwwkkkwwwkkkwww এই ধারণাটি প্রসঙ্গমুক্ত ব্যাকরণগুলির তুলনায় …

17 lo.logic  automata-theory  regular-language  nondeterminism  finite-model-theory 

আমরা যে NFA হল প্রতিনিয়ত অস্পষ্ট যদি অস্তিত্ব ট ∈ এন যেমন যে কোন শব্দ W ∈ Σ * হয় এর গৃহীত 0 বা (ঠিক) ট পাথ।MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk যন্ত্রমানব তাহলে ক্রমাগত জন্য দ্ব্যর্থক ট = 1 , তারপর এম বলা হয় দ্ব্যর্থহীন এফএ (Ufa)।MMMk=1k=1k=1MMM নিয়মিত ভাষা হতে দিন ।LLL …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

আনবিম্বিগিউস ফিনিট অটোমেটনস (ইউএফএ) হ'ল বিশেষ ধরণের নন-ডিস্ট্রিমেন্টিক সসীম অটোমেটনস (এনএফএ)। যদি এন সিএনএ-এর প্রত্যেকটি শব্দ এর সর্বাধিক এক স্বীকৃত পথ থাকে তবে এনএফএকে দ্ব্যর্থহীন বলা হয় ।ডাব্লু ∈ Σ*W∈Σ*w\in \Sigma^* এর মানে হল এই ।ডি এফএ ⊂ ইউএফএ ⊂ এনএফএকজনডিএফএকজন⊂ইউএফএকজন⊂এনএফএকজনDFA\subset UFA\subset NFA সম্পর্কিত সম্পর্কিত অটোমেটনের ফলাফল: এনএফএ মিনিমাইজেশন PSPACE- …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

সমস্যাটি যাক একটি Buchi যন্ত্রমানব হতে একটি ভাষা স্বীকৃতি এল ⊆ Σ ω । আমরা ধরে নিই যে একজন নিম্নলিখিত অর্থে একটি গ্রহণযোগ্যতা কৌশল আছে: সেখানে একটি ফাংশন σ : Σ * → প্রশ্ন যার পাইলট রান ব্যবহার করা যেতে পারে একটি । আমরা নিম্নলিখিত শর্তাবলী দ্বারা এটি আনুষ্ঠানিক:A=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

নিয়মিত ভাষা L এর বর্গের ভিতরে কি কোনও "সুন্দর" শ্রেণিবিন্যাস L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dots (সীমাবদ্ধ হতে পারে) আছে ? এখানে সুন্দর করে, প্রতিটি শ্রেণিবিন্যাসের ক্লাসগুলি বিভিন্ন অভিব্যক্তি / শক্তি / জটিলতা ক্যাপচার করে। এছাড়াও, প্রতিটি শ্রেণীর সদস্যপদ কিছু উপাদান দ্বারা "সুন্দরভাবে" প্রদর্শিত হয় (তারার উচ্চতার সমস্যা থেকে …

14 automata-theory  regular-language  regular-expressions 

Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}আর ই জি ⊆ টি সি 0 এন সি 1 ⊈ টি সি 0 আর ই জি ⊈ টি সি 0TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} in যে in তে নেই এমন কোনও সমস্যার জন্য প্রার্থী আছেন ?টি সি 0RegReg\mathsf{Reg}TC0TC0\mathsf{TC^0} সেখানে একটি শর্তাধীন ফলাফলের ইঙ্গিত যে Reg⊈TC0Reg⊈TC0\mathsf{Reg} …

14 cc.complexity-theory  fl.formal-languages  automata-theory  circuit-complexity  regular-language 

আমি "পড়া করছি নিয়মিত ভাষাসমূহ এবং Descriptional জটিলতা সংযুক্তকরণ " গালিনা Jiraskova, 2009 দুটি নিয়মিত ভাষা (গালিনা Jiraskova দ্বারা) এর সংযুক্তকরণের ফলে রাষ্ট্র জটিলতার উপর, কিন্তু আমি বুঝতে পারছি না রাষ্ট্র জটিলতা ব্যবহারিক বিষয় হবে কি । প্রথম তুচ্ছ চিন্তা আমাকে আঘাত করেছিল যে উচ্চতর জটিলতার জন্য মেশিনের দ্বারা আরও …

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

কন্ডিশন-মুক্ত ভাষা এল নিয়মিত, অর্থাত্ ফর্মের শর্তগুলির একটি তালিকা সংগ্রহ করা ভাল would বৈশিষ্ট্য পিটিতে নিয়মিত ভাষা উত্পন্ন সিএফজির বৈশিষ্ট্য নেই। তদ্ব্যতীত, পি সিদ্ধান্ত গ্রহণযোগ্য হতে হবে না, এবং পি এর প্রসঙ্গমুক্ত ভাষা "" কোনওভাবে নির্ভর করতে হবে "(" এল এর সিনট্যাকটিক মনোয়েড সীমাবদ্ধ "," এল স্পেসে নির্ধারনযোগ্য হে (লগ …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

যাক কিছু ভাষা হতে, তাহলে আমরা সংজ্ঞায়িত অন্বিত সঙ্গতি যেমন তোমার দর্শন লগ করা ~ বনাম : ⇔ ∀ এক্স , Y ∈ এক্স * : এক্স তোমার দর্শন লগ করা Y ∈ এল ↔ এক্স বনাম Y ∈ এল এবং ভাগফল monoid এক্স * / ~ এল হয় নামক …

14 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

ইন Angluin এর অটোমাটা লার্নিং কাঠামো , একজন ছাত্র লক্ষ্য একটি নিয়মিত ভাষা শিখতে L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* তার শিক্ষককে প্রশ্ন দুই ধরনের জিজ্ঞাসা করে: ওয়ার্ড প্রশ্নের: প্রদত্ত w∈Σ∗w∈Σ∗w\in \Sigma^* হল w∈Lw∈Lw\in L ? সমানতা প্রশ্নের: একটি ভাষা দেওয়া K⊆Σ∗K⊆Σ∗K\subseteq \Sigma^* হল K=LK=LK=L ? যদি তা না হয় তবে শিক্ষক একটি পাল্টা …

13 automata-theory  regular-language 

সীমাবদ্ধ অটোম্যাটা একই প্রাথমিক এবং গ্রহণযোগ্য রাষ্ট্রের দ্বারা স্বীকৃত ভাষার শ্রেণীর বিষয়ে কী জানা যায়? এটি নিয়মিত ভাষার একটি উপযুক্ত উপসেট (যেহেতু প্রতিটি ভাষার খালি স্ট্রিং থাকে) তবে এটি কতটা দুর্বল? একটি সাধারণ বীজগণিত বৈশিষ্ট্য আছে? প্রাথমিক এবং গ্রহণযোগ্য রাষ্ট্রের একই সেট থাকা অ-নিরস্তক অটোমাতা দ্বারা স্বীকৃত ভাষার জন্য ডিটো।

13 fl.formal-languages  automata-theory  algebra  regular-language 

আমি (এবং / অথবা অসীম শব্দ ) এর দুটি নিয়মিত ভাষার সীমাবদ্ধ ভাষার মধ্যে "ঘনিষ্ঠতা" একটি ধারণাটি সংজ্ঞায়িত করতে চাই । মূল ধারণাটি হ'ল আমরা চাই দুটি ভাষাগুলি যদি খুব শব্দ দ্বারা পৃথক না হয় তবে তারা নিকটবর্তী হয়। আমরা কোনওভাবে সম্পাদনার দূরত্বও ব্যবহার করতে পারি ... আমি এই বিষয়ে …

13 reference-request  fl.formal-languages  regular-language 

আমি নিয়মিত ভাষা অন্তর্ভুক্ত ক্লাসিক সমস্যা আগ্রহী। একটি রেগুলার এক্সপ্রেশন দেওয়া , আমরা দ্বারা বোঝাতে এল ( ই ) নিয়মিত এটি যুক্ত ভাষা। (রেগুলার এক্সপ্রেশন একটি নির্দিষ্ট বর্ণমালা রয়েছে Σ অপারেশন ইউনিয়ন, Kleene তারকা এবং সংযুক্তকরণের সঙ্গে,।)ইEEএল ( ই))L(E)L(E)ΣΣ\Sigma ইনপুট: দুটি নিয়মিত এক্সপ্রেশন এবং E 2 প্রশ্ন: এটি কি সত্য …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

আমি নীচের দাবিগুলি সত্য বলে বুঝতে পেরেছি: প্রদত্ত সিএফজিতে একটি স্ট্রিংয়ের দুটি স্বতন্ত্র ডারাইভেশন কখনও কখনও একই প্যারাস গাছটিকে স্ট্রিংকে দায়ী করতে পারে। যখন কোনও প্রদত্ত সিএফজিতে কিছু স্ট্রিংয়ের বিকাশ ঘটে যা বিভিন্ন পার্স গাছের বৈশিষ্ট্য দেয়, তখন সিএফজি দ্বিধাগ্রস্ত হয়। দ্ব্যর্থহীন সিএফজির দ্বারা উত্পন্ন কয়েকটি প্রসঙ্গ-মুক্ত ভাষাও দ্ব্যর্থহীন সিএফজি …

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

এই প্রশ্নের একটি সঙ্গে সম্পর্কযুক্ত সাম্প্রতিক প্রশ্ন দ্বারা Janoma । পটভূমি বাধ্যতা প্রোগ্রামিং, একটি নিয়মিত বিশ্বব্যাপী বাধ্যতা ccc একটি ডোমেইন উপর DDD একজোড়া হয় (s,M)(s,M)(s, M) সঙ্গে sss ভেরিয়েবল একটি tuple (স্কোপ) এবং MMM একটি DFA তে ডোমেইন উপর DDD । একটি কাজ θθ\theta থেকে গুলিss সন্তুষ্ট গcc যদি এমMM …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language