প্রশ্ন ট্যাগ «fl.formal-languages»

আমরা যে 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 

আমি ভাবছি, এমন কোনও কাগজপত্র বা গবেষণা রয়েছে যা দৃশ্যমানভাবে পুডডাউন অটোমেটা নিয়ে ডিল করছে, তবে একক অক্ষরের পরিবর্তে শব্দগুলিকে স্ট্যাকের দিকে ঠেলে দেওয়ার অনুমতি দেয়। পর্যায়ক্রমে, এমন একটি নির্মাণ যা প্রতীকগুলিকে ট্রান্সশিশনে চাপ দেওয়ার অনুমতি দেয় একই লক্ষ্য অর্জন করতে পারে।ϵϵ\epsilon স্পষ্টতই, এই ধরণের বৈচিত্রগুলি গঠন করা যেতে পারে …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

কুরোড়ারএনএনn একটি ক্লাসিক ফলাফল অনুসারে, জটিলতা ক্লাস এনএসপিএসিই [ এন ] (এটি এনলিন-স্পেস নামে পরিচিত) হ'ল প্রাসঙ্গিক সংবেদনশীল ভাষার ক্লাস সিএসএল । সন্তুষ্টিযোগ্যতা সমস্যাটি স্যাট এনএসপেসে রয়েছে [ ], যেহেতু কোনও সমাধানের জন্য লিনিয়ার আকারের অনুমানটি বইয়ের রক্ষার জন্য বেশিরভাগ রৈখিক পরিমাণের ওভারহেড দিয়ে পরীক্ষা করা যায়। এর অর্থ হল …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

একটি বিন্যাস ফ্রেজ: একটি বিন্যাস ফ্রেজ মানক (ই) বিএনএফ প্রসঙ্গে বিনামূল্যে ব্যাকরণ সংজ্ঞা একটি এক্সটেনশান রয়েছে প্রযোজনার (অথবা equivalently, nonterminals) মাধ্যমে । ক্রমবিন্যাস বাক্যাংশের অবস্থানে, আমরা এই প্রযোজনার প্রতিটি একবারে দেখতে চাই, তবে আমরা এই নন-টার্মিনালগুলির ক্রমগুলিতে আগ্রহী নই।{A1,…,An}{A1,…,An}\{ A_1, \dots, A_n \}nnnA1A1A_1AnAnA_n উদাহরণ স্বরূপ: S <- X { A, …

16 ds.algorithms  fl.formal-languages  parsing  context-free 

নেই তাত্ত্বিক প্রমাণ যে DFAs ছেদ সাদাসিধা কার্টিজিয়ান পণ্য নির্মাণ "বেস্ট আমরা কি করতে পারি"। দুটি ডিএফএর সংক্ষিপ্তকরণ সম্পর্কে কী? তুচ্ছ নির্মাণের মধ্যে প্রতিটি ডিএফএকে এনএফএতে রূপান্তরিত করা, একটি এপসিলন-ট্রানজিশন যুক্ত করা হয় এবং ফলস্বরূপ এনএফএ নির্ধারণ করা হয়। আমরা কি আরও ভাল করতে পারি? সর্বনিম্ন কনটেনটেশন ডিএফএর আকারের ("উপসর্গ" …

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

আমি ভাবছিলাম যে কোলাটজ অনুমানটিকে আনুষ্ঠানিক ব্যাকরণ হিসাবে তদন্ত করার চেষ্টা করার কোনও ভাল গ্রন্থপঞ্জি আছে কিনা ? (বা এই শ্রেণীর উত্পাদনমূলক ঘটনা ও তাদের "থামানো" বৈশিষ্ট্যগুলির সাথে মোকাবিলার জন্য সিএস সম্প্রদায়ের অন্য কোনও প্রচেষ্টা)।

16 fl.formal-languages  nt.number-theory  halting-problem 

আমি প্রসঙ্গে সংবেদনশীল ভাষা (সিএসএল) এবং সম্পূর্ণতা সম্পর্কে দুটি প্রশ্নে আগ্রহী : সিএসএল-এর জন্য কি সম্পূর্ণতার ধারণা রয়েছে এবং কোন ভাষাগুলি সম্পূর্ণ? এমন কি প্রাকৃতিক সিএসএল রয়েছে যা এনপি-সম্পূর্ণ? ২ এর জন্য, আমি অবশ্যই প্রাকৃতিক এনপি-সম্পূর্ণ ভাষাগুলি সিএসএল হিসাবে ভাবতে পারি (সিএসএল যেমন এনএসপিএসি সমান [ ], স্যাট একটি সিএসএল) …

16 np-hardness  fl.formal-languages  space-bounded 

একটি ভাষার জন্য এল ⊆ Σ ^ * , নির্ধারণ অন্বিত সঙ্গতি ≡ এর এল উপর অন্তত সঙ্গতি যেমন Σ ^ * যে সুসিক্ত এল , অর্থাত্: u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]। এখন নীচের ডান সমষ্টি হিসাবে নেরোড সমতুল্যতা সংজ্ঞায়িত করুন …

16 automata-theory  fl.formal-languages 

পটভূমি: দুটি ডিটারমিনিস্টিক সসীম অটোমেটা এ এবং বি দেওয়া, আমরা সিতে রাজ্যগুলিকে এ এবং বি রাজ্যে রাজ্যের কার্তেসিয়ান পণ্য হতে দিয়ে পণ্য সি গঠন করি, তারপরে, আমরা রূপান্তরগুলি, প্রাথমিক অবস্থা এবং চূড়ান্ত রাজ্যগুলি বেছে নিই তাই ভাষাটি গ্রহণ করে সি হ'ল এ এবং বি এর ভাষার ছেদ is প্রশ্নাবলী: (1) …

15 fl.formal-languages  automata-theory  dfa 

এটি অগত্যা কোনও গবেষণা প্রশ্ন নয়। কৌতূহলের বাইরে কেবল একটি প্রশ্ন: কেউ যদি "অপরিশোধনযোগ্য" ভাষা সংজ্ঞায়িত করতে পারে তবে আমি তা বোঝার চেষ্টা করছি। একটি প্রথম অনুমান আমি একটি ভাষা L "লিখে রূপান্তরযোগ্য" কল যদি এটা হিসেবে লেখা যেতে পারে L=A⋅BL=A⋅BL = A \cdot B সঙ্গে A∩B=∅A∩B=∅A \cap B = …

15 fl.formal-languages 

জানা যায় একটি রেগুলার এক্সপ্রেশন আকার কমানোর হয় এমনকি যদি আমরা ভাষা এর স্পেসিফিকেশন হিসাবে একটি DFA তে আছে PSPACE-সম্পূর্ণ । ভাষা সীমাবদ্ধ হলে ফলাফল কী হবে? এই সমস্যাটিকে একজন দুটি মডেল বিবেচনা করতে পারেন: ইনপুটটি ভাষার সমস্ত স্ট্রিং হয় এবং আমরা সমস্ত স্ট্রিংয়ের দৈর্ঘ্যের যোগফলের সাহায্যে ইনপুট আকার পরিমাপ …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

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

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

কোনও ভাষার (জেনারালাইজড) তারকা উচ্চতা হ'ল ক্লিন তারকাদের ন্যূনতম বাসা বেঁধে নিয়মিত প্রকাশের মাধ্যমে ভাষার প্রতিনিধিত্ব করতে হয়। রিকল করে একটি সসীম বর্ণমালা উপর একটি বর্ধিত রেগুলার এক্সপ্রেশন সন্তুষ্ট করুন:একজনAA (1) এবং a সমস্ত a ∈ A এর জন্য নিয়মিত এক্সপ্রেশনগুলি বাড়ানো হয়∅ , 1∅,1\emptyset, 1একটিaaa ∈ Aa∈Aa\in A (২) …

15 fl.formal-languages  lower-bounds  regular-expressions 

জেফ্রি শ্যালিটের অটোমাটা থিওরিতে দ্বিতীয় পাঠ্যক্রমের অধ্যায় 4 এ নিম্নলিখিত সমস্যাটি খোলা হিসাবে তালিকাভুক্ত করা হয়েছে: যাক মূলদ কোফিসিয়েন্টস সঙ্গে একটি বহুপদী হতে যেমন যে পি ( এন ) ∈ এন সবার জন্যp(n)p(n)p(n)p(n)∈Np(n) \in \mathbb{N}n∈Nn∈Nn \in \mathbb{N}{p(n)∣n⩾0}{p(n)∣n⩾0}\{p(n) \mid n \geqslant 0\}ppp⩽1⩽1\leqslant 1 এখন এর স্ট্যাটাসটি কী (অক্টোবর 2018)? এটা কি …

14 fl.formal-languages  nt.number-theory  grammars