প্রশ্ন ট্যাগ «automata-theory»

আমি ডিএফএর সামান্য সাধারণীকরণে আগ্রহী। যথারীতি আমাদের স্টেট-সেট , সসীম বর্ণমালা \ সিগমা , একটি \ সিগমা ^ * অ্যাকশনটি ডু- ডেল্টা দ্বারা Q- এ সংজ্ঞায়িত করা হয়েছে: Q \ গুণ \ সিগমা \ রাইটারো কি , এবং প্রাথমিক অবস্থা q_0 ; তবে সাধারণ টার্মিনাল সেটের পরিবর্তে, আমরা Q- এর …

10 automata-theory  dfa 

আপডেট: মনে হচ্ছে এই সমস্যাটি অধ্যয়ন করা হয়েছে এবং সম্প্রতি সমাধান হয়েছে, এই উইকি নিবন্ধটি দেখুন: http://en.wikedia.org/wiki/Tree_walking_automaton এবং এই সমীক্ষা: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf মনে করুন যে শব্দের সাধারণ সেট, set 0,1 * * এর পরিবর্তে আমাদের শব্দগুলি রৈখিক নয় বরং কিছু গাছের কাঠামোর উপর দেওয়া হয়েছে। আমাদের মেশিনগুলি "হারিয়ে যাওয়া" রোধ …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

সমস্যা বিবৃতি : যাক এ (সম্ভাব্য nondeterministic) pushdown যন্ত্রমানব হতে হবে এবং দিন হতে তার ইনপুট বর্ণমালা। st শব্দ আছে কি? by যে দ্বারা গৃহীত ?এমMMএকজনA\cal Aডাব্লু ∈একজন*w∈A∗w \in \cal A^*| ডাব্লু | ≤কে|w|≤k|w| \leq kএমMM এই সমস্যাটি কি এনপি-সম্পূর্ণ? এটি পড়াশোনা করা হয়েছে? এমন কোনও শব্দ খুঁজে পাওয়ার অনুমতি …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

গাণিতিক বিশ্লেষণ, অবিচ্ছিন্ন গণিত ব্যবহার করে আনুষ্ঠানিক ভাষার সমস্যাগুলি সমাধান করার জন্য কিছু ফলাফল রয়েছে কিনা। উদাহরণস্বরূপ, একটি প্রাসঙ্গিক মুক্ত ভাষা এবং নিয়মিত ভাষার জন্য ছেদটি শূন্যতার সমস্যা সমাধান করা।

9 fl.formal-languages  automata-theory  context-free 

দিন AAAএকটি সীমাবদ্ধ বর্ণমালা হতে। প্রদত্ত ভাষার জন্যL⊆A∗L⊆A∗L \subseteq A^{\ast}অন্বিত monoid M(L)M(L)M(L)আনুষ্ঠানিক ভাষা তত্ত্বের একটি সুপরিচিত ধারণা। তদ্ব্যতীত, একটি একঘেয়েMMM একটি ভাষা স্বীকৃতি দেয় LLL যদি সেখানে কোন মরফিজম থাকে φ:A∗→Mφ:A∗→M\varphi : A^{\ast} \to M যেমন যে L=φ−1(φ(L)))L=φ−1(φ(L)))L = \varphi^{-1}(\varphi(L)))। তারপরে আমাদের দুর্দান্ত ফলাফল রয়েছে: একটি একঘেয়ে MMM স্বীকৃতি L⊆A∗L⊆A∗L …

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

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

9 automata-theory 

একটি সম্পূর্ণ ডিএফএ দেওয়া হয়েছে এ = ( প্রশ্ন , Γ , δ), এফ)একজন=(প্রশ্নঃ,Γ,δ,এফ)A=(Q, \Gamma, \delta, F), আমরা ফাংশনগুলির একটি সংজ্ঞা নির্ধারণ করতে পারি চএকটিচএকটিf_a প্রতিটির জন্য, প্রত্যেকটির জন্য a ∈ Γএকটি∈Γa\in \Gammaএবং সাথে চএকটি: প্রশ্ন → প্রশ্নচএকটি:প্রশ্নঃ→প্রশ্নঃf_a:Q\rightarrow Q, চএকটি( প্রশ্ন)) = δ( প্রশ্ন), ক )চএকটি(কুই)=δ(কুই,একটি)f_a(q)=\delta(q, a)। আমরা এই ধারণাটিকে …

9 automata-theory  regular-language  monoid 

আমি কিছুক্ষণের জন্য টুরিং মেশিনগুলি সম্পর্কে সঠিকভাবে একটি টেপ এবং ঠিক 3 টি রাজ্য (যথা শুরুর রাজ্য) নিয়ে আগ্রহী ছিলাম been q0q0q_0, গ্রহণ রাষ্ট্র qacceptqacceptq_{accept}, এবং প্রত্যাখ্যাত রাষ্ট্র qrejectqrejectq_{reject})। নোট করুন যে আমি স্বেচ্ছাসেবী (সসীম) টেপ বর্ণমালা অনুমোদন করি (অর্থাত টেপ বর্ণমালাটি ইনপুট বর্ণমালার সমানতে সীমাবদ্ধ নয়)। সুবিধার জন্য, এই …

9 automata-theory  turing-machines  cellular-automata 

দিন ΣΣ\Sigma আকারের বর্ণমালা হতে 222, এবং ন্যূনতম ডিএফএগুলি বিবেচনা করুন যার আকার সর্বাধিক দ্বারা আবদ্ধ mmm। দিনf(m)f(m)f(m) এই জাতীয় বিভিন্ন ন্যূনতম ডিএফএর সংখ্যা বোঝান। আমরা এর জন্য একটি বদ্ধ-ফর্মুলা খুঁজে পেতে পারি f(m)f(m)f(m)? যে বিবেচনা করে |Σ|=2|Σ|=2|\Sigma|=2 সর্বাধিক আকারের ডিএফএর স্থানান্তর কার্য mmmএকটি গ্রাফ যেহেতু নোড ডিগ্রি দ্বারা আবদ্ধ …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

সীমানা-পরিদর্শন ননডেটেরিমিনিস্টিক লিনিয়ার বাউন্ডেড অটোমাটা কেবল নিয়মিত ভাষাতেই স্বীকৃতি দেয়? একটি ননডেস্টেমিনিস্টিক লিনিয়ার বাউন্ডেড অটোমেটন (এনএলবিএ) দ্বারা আমি বোঝাচ্ছি একটি সিঙ্গল-টেপ ননডেটারেস্টেমিক টুরিং মেশিন যেখানে ইনপুটটি দুটি প্রান্তে এন্ডমার্কারের সাথে "প্যাডড" আসে যা কখনই ওভাররাইট করা যায় না, এবং যাতে মাথা কখনই ইনপুট অঞ্চলের বাইরে যেতে না পারে, এন্ডমার্কারদের "বাইরে"। …

9 automata-theory  turing-machines  regular-language  space-bounded 

একটি নিয়মিত ভাষা দেওয়া বর্ণমালার উপর , তার ন্যূনতম নির্ণায়ক যন্ত্রমানব ধ্রুবক সঙ্গে একটি নির্দেশ সংযুক্ত multigraph হিসেবে দেখা যেতে পারে আউট-ডিগ্রীএবং একটি চিহ্নিত প্রাথমিক অবস্থা (রূপান্তরের লেবেলগুলি ভুলে গিয়ে, চূড়ান্ত রাজ্যগুলি)) আমরা প্রাথমিক অবস্থাটি রাখি কারণ প্রতিটি ভার্টেক্স এটি থেকে অ্যাক্সেসযোগ্য।এলএলLএকজনএকজনA| ক ||A||A| কথাটি কি সত্য? অর্থাৎ একটি নির্দেশিত …

9 graph-theory  automata-theory 

ডিএফএকে সমতুল্য ন্যূনতম-রাষ্ট্রীয় ডিএফএতে রূপান্তর করার জন্য ব্রাজোভস্কির অ্যালগরিদম উল্লেখযোগ্যভাবে সহজ: যদি আর ( ডি )আর(ডি)R(D) ডিএফএ-তে সমস্ত প্রান্তকে বিপরীত করে গঠিত এনএফএকে বোঝায় ডিডিD, পুরানো শুরু রাষ্ট্রকে একটি গ্রহণযোগ্য রাষ্ট্র হিসাবে তৈরি করা, এবং পুরানো গ্রহণযোগ্য রাষ্ট্রকে রাষ্ট্রগুলি শুরু করা এবং যদি হয় পি( এন)পি(এন)P(N) এনএফএতে সাবসেট নির্মাণ প্রয়োগের …

9 automata-theory  minimization 

আমি বিশেষ ক্ষেত্রে ডিএফএ মোড়ের দক্ষ অ্যালগরিদমে আগ্রহী। যথা, যখন ডিএফএগুলি ছেদ করার জন্য একটি নির্দিষ্ট কাঠামো মেনে চলে এবং / অথবা সীমাবদ্ধ বর্ণমালাগুলিতে পরিচালনা করে। এমন কোনও উত্স আছে যেখানে আমি এই জাতীয় ঘটনাগুলি অ্যালগরিদমগুলি পাই? প্রশ্নটি খুব বেশি বিস্তৃত না করার জন্য, নিম্নলিখিত কাঠামোটি বিশেষ আগ্রহী: বাইনারি বর্ণমালায় …

9 automata-theory  time-complexity  dfa 

আমি জানতে চাই কেন প্রসঙ্গ-মুক্ত ভাষাগুলি স্বীকৃতির জন্য কেবল অ-নিরস্তাত্মক পুশ-ডাউন অটোমেটা (ডিপিএ = এনপিডিএ) কাজ করে। ডিটারমিনিস্টিক পুশ-ডাউন অটোমেটা (ডিপিডিএ) কেন এই জাতীয় ভাষা স্বীকৃতি দেয় না?

9 fl.formal-languages  automata-theory  context-free 

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

9 computability  fl.formal-languages  automata-theory