প্রশ্ন ট্যাগ «closure-properties»

প্রসঙ্গমুক্ত ভাষা পরিপূরক হিসাবে বন্ধ করা হয় না , আমরা জানি যে। আমি যতদূর বুঝতে পেরেছি, প্রসঙ্গমুক্ত ভাষাগুলি যে কোনও অক্ষর এর জন্য এর উপসেট হয় পরিপূরক (!?) এর অধীনে বন্ধ থাকে? a , ba∗b∗a∗b∗a^*b^*a,ba,ba,b এখানে আমার যুক্তি। প্রতিটি সিএফ ভাষা একটি আধা-রৈখিক পারিখ ইমেজ আছে । পরিপূরক অধীনে সেলিমিনার …

20 formal-languages  reference-request  context-free  closure-properties 

এই একটি ফলো-আপ প্রশ্ন হল এই এক । বিদেশী রাষ্ট্র মেশিন সম্পর্কে পূর্ববর্তী একটি প্রশ্নে , অ্যালেক্স টেন ব্রিংক এবং রাফেল একটি অদ্ভুত ধরণের রাষ্ট্রীয় মেশিনের গণনামূলক দক্ষতাগুলিকে সম্বোধন করেছিলেন: মিনি-হিপ অটোমেটা। তারা এটি দেখাতে সক্ষম হয়েছিল যে এই জাতীয় মেশিনগুলির দ্বারা গৃহীত ভাষাগুলির সেট ( HALHALHAL ) কোনও উপসেট …

16 formal-languages  automata  closure-properties 

যাক GGG একটি প্রেক্ষাপটে মুক্ত ব্যাকরণ হবে। টার্মিনাল এবং এর nonterminals একটি স্ট্রিং GGG একটি মনে করা হয় বাক্যগত ফর্ম এর GGG আপনি এটা এর প্রযোজনার প্রয়োগের দ্বারা পেতে পারেন GGG শুরুর প্রতীক থেকে শূন্য বা তার বেশি বার SSS । যাক SF(G)SF⁡(G)\operatorname{SF}(G) এর বাক্যগত ধরনের সেট হতে GGG । …

14 formal-languages  context-free  formal-grammars  closure-properties 

আমি নিম্নলিখিত সাহায্যে আপনার সহায়তা সত্যিই পছন্দ করব: যে কোনও নির্দিষ্ট আমাকে নীচের অপারেটরগুলির অধীনে বন্ধ রয়েছে কিনা তা সিদ্ধান্ত নিতে হবে:এল2L2L_2 একজনR( L ) = { x ∣ ∃ y। এল2: x y∈ এল }Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} ।একজনঠ( L ) = { …

13 formal-languages  regular-languages  closure-properties 

উপর বর্ণমালা একটি নিয়মিত ভাষা Σ = { একটি , খ } । বাম ভাগফল এল সংক্রান্ত W ∈ Σ * ভাষা W - 1 এল : = { বনাম | W বনাম ∈ এল }এলLLΣ = { একটি , খ }Σ={a,b}\Sigma = \{a,b\}এলLLW ∈ Σ*w∈Σ∗w \in \Sigma^*W- 1এল : …

13 formal-languages  regular-languages  closure-properties 

আমি এই প্রশ্নটি পেরিয়ে এসেছি: "দুটি নিয়মিত ভাষার উদাহরণ দিন যা তাদের ইউনিয়ন একটি নিয়মিত ভাষা আউটপুট দেয় না।" এটি আমার কাছে বেশ চমকপ্রদ কারণ আমি বিশ্বাস করি যে নিয়মিত ভাষাগুলি ইউনিয়নের অধীনে বন্ধ রয়েছে। যার অর্থ আমার কাছে যে আমি যদি দুটি নিয়মিত ভাষা গ্রহণ করি এবং সেগুলি একত্রিত …

12 formal-languages  regular-languages  closure-properties 

তাহলে নিয়মিত হয়, এটা অনুসরণ করে যে নিয়মিত হয়? এA2A2A^2AAA প্রমাণের জন্য আমার প্রচেষ্টা: হ্যাঁ, বৈপরীত্যের জন্য ধরে নিন যে নিয়মিত নয়। তারপর ।এ 2 = এ ⋅ এAAAA2=A⋅AA2=A⋅AA^2 = A \cdot A যেহেতু দুটি অ-নিয়মিত ভাষার সংমিশ্রণ নিয়মিত নয় নিয়মিত হতে পারে না। এটি আমাদের অনুমানের বিরোধিতা করে। সুতরাং …

12 formal-languages  regular-languages  closure-properties 

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

12 formal-languages  undecidability  closure-properties 

আমি প্রমাণ করতে চাই যে { 0 n 1 n ∣ n ≥ এর পরিপূরক ≥ অবসান বৈশিষ্ট্য ব্যবহার নিয়মিত নয়।{ 0এন1এন| এন ≥0 }{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} আমি পাম্পিং বুঝতে থিম প্রমাণ করতে হবে যে ব্যবহার করা যেতে পারে একটি নিয়মিত ভাষা নয়। আমি আরও বুঝতে পারি নিয়মিত …

12 formal-languages  regular-languages  closure-properties 

আবর্তনশীল শিফট (নামেও ঘূর্ণন বা সংশ্লেষ একটি ভাষা এর) হিসাবে সংজ্ঞায়িত করা হয় । উইকিপিডিয়া অনুসারে (এবং এখানে ) প্রসঙ্গ-মুক্ত ভাষাগুলি এই অপারেশনের অধীনে বন্ধ করা হয়েছে, ওশিবা এবং মাসলভের কাগজপত্রের উল্লেখ সহ। এই সত্যের কোন সহজ প্রমাণ আছে?এল এলL{ Y এক্স | এক্স Y ∈ এল }{ yx ∣ …

11 formal-languages  context-free  closure-properties 

যাক , , , প্রসঙ্গ-মুক্ত ভাষায় একজন ফাই মধ্যে নাইট ক্রম দে ফাই একটি সাধারণ বর্ণমালা উপর নেদ যেগুলির প্রতিটি হতে Σ । যাক এল এর ফাই মধ্যে নাইট ইউনিয়ন L_1 , L_2 , L_3 , \ বিন্দু ; যেমন, L = L_1 \ কাপ L_2 \ কাপ L_3 \ …

11 formal-languages  context-free  closure-properties 

আমার জানতে হবে কোন শ্রেণির সিএফএল বন্ধ রয়েছে অর্থাৎ কোন সেটটি সিএফএল এর পরিপূরক? আমি জানি সিএফএল পরিপূরক অধীনে বন্ধ হয় না, এবং আমি জানি যে পি পরিপূরক অধীনে বন্ধ আছে। যেহেতু সিএফএল পিআই বলতে পারে যে সিএফএল এর পরিপূরকগুলি পি (ডান?) এর অন্তর্ভুক্ত রয়েছে। সিএফএল এর পরিপূরক হ'ল পি …

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

নিয়মিত প্রকাশগুলি দেখার একটি উপায় নিম্নলিখিত বিষয়গুলির গঠনমূলক প্রমাণ হিসাবে: নিয়মিত ভাষাগুলির একটি ছোট সেট দিয়ে শুরু করে এবং একটি ছোট, স্থির সংস্থার নির্দিষ্ট সংখ্যার মাধ্যমে সংযুক্ত করে নিয়মিত ভাষাগুলি তৈরি করা সম্ভব। বিশেষত, আমরা যদি খালি ভাষা, খালি স্ট্রিং ধারণকারী ভাষা এবং সমস্ত একক-বর্ণের স্ট্রিংয়ের ভাষা দিয়ে শুরু করি …

10 formal-languages  context-free  closure-properties  regular-expressions 

আমি পরবর্তী অনুশীলন সমাধান করতে আটকে আছি: যুক্তি দিন যে L যদি প্রসঙ্গমুক্ত LLLহয় এবং RRR নিয়মিত হয় তবে L/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} (অর্থাত্ ডান ভাগফল ) প্রসঙ্গমুক্ত । আমি জানি যে এখানে এমন একটি পিডিএ থাকতে হবে যা …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata