প্রশ্ন ট্যাগ «context-free»

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

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

নিম্নলিখিত প্রাকৃতিক প্রশ্নটি বিবেচনা করুন: একটি সীমাবদ্ধ ভাষা দেওয়া , ক্ষুদ্রতম প্রসঙ্গমুক্ত ব্যাকরণটি এল তৈরি করে কী?LLLLLL আমরা ভাষার ক্রম নির্দিষ্ট করে প্রশ্ন আরো আকর্ষণীয় করে তুলতে পারে , উদাহরণস্বরূপ এল এন সব একাধিক বিন্যাসন সেট { 1 , ... , এন } : intuitively, জন্য একটি CFG এল এন …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

সাম্প্রতিক প্রশ্নটি পড়ার পরে "" প্রসঙ্গমুক্ত? " {www∣...}{www∣...}\{ www \mid ...\}; আমি একই ধরণের সমস্যার কথা মনে করেছিলাম যা আমি অস্বীকার করতে পারিনি: কি প্রসঙ্গটি নিখরচায়?L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} এখানে আমাদের প্রয়োজন যে দুটি স্ট্রিং কমপক্ষে দুটি অবস্থানে পৃথক হতে হবে …

13 fl.formal-languages  context-free 

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

12 cc.complexity-theory  circuit-complexity  sat  context-free 

গ্রিবাচ বিখ্যাতভাবে একটি ভাষা সংজ্ঞায়িত করেছিলেন , এটি ডি 2 এর তথাকথিত ননডেটেরিস্টিনিস্টিক সংস্করণ যেমন কোনও সিএফএল এইচ এর বিপরীতমুখী চিত্র । ডিসিএফএল এর সাথে কি অনুরূপ বক্তব্য রয়েছে, সম্ভবত মরফিজমগুলিতে কিছুটা বিধিনিষেধ রয়েছে?এইচHHডি2D2D_2এইচHH (উদাহরণস্বরূপ, এম। অউবার্ট, জে। বার্স্টেল এবং এল। বোসন te প্রবন্ধমুক্ত ভাষা এবং পুশডাউন অটোমেটা R , …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

ডাইক ভাষাগুলি নিম্নলিখিত ব্যাকরণ এস → এস এস দ্বারা সংজ্ঞায়িত করা হয় ডি ওয় সি সি কে (কে)Dyck(k)\mathsf{Dyck}(k) চিহ্ন সেট উপর { ( 1 , ... , ( ট , ) 1 , ... , ) ট } । স্বজ্ঞাতভাবে ডাইক ভাষা হ'ল কে বিভিন্ন ধরণেরসুষম প্যারেন্টেসির ভাষা। উদাহরণস্বরূপ, (S→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

এটি সুপরিচিত যে এর পরিপূরকটি প্রসঙ্গমুক্ত{ww∣w∈Σ∗}{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\} । কিন্তু কি সম্পূরক সম্পর্কে {www∣w∈Σ∗}{www∣w∈Σ∗}\{ www \mid w\in \Sigma^*\} ?

12 fl.formal-languages  context-free 

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

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

একটি নম্বর দেওয়া যাক । নিম্নলিখিত ভাষা বিবেচনা করুন ।এল এন = {nnnLn={ww|w∈{0,1}n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} কথায় কথায়, দৈর্ঘ্য এর কপির স্ট্রিংগুলির সেট । 2 এনLnLnL_n2n2n2n বিবেচনা করুন নিম্নলিখিত রাষ্ট্র জটিলতা ফাংশন যেমন যে ক্ষুদ্রতম Pushdown অটোমাটা মধ্যে রাজ্যের সংখ্যা স্বীকার …

10 fl.formal-languages  automata-theory  grammars  context-free 

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

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

একটি নির্বিচারে প্রসঙ্গ-মুক্ত ব্যাকরণ বিবেচনা করুন জিGG বর্ণমালা উপর { 0 , 1 ,0¯¯¯,1¯¯¯}{0,1,0¯,1¯}\lbrace 0,1,\overline{0} ,\overline{1} \rbrace। এই ব্যাকরণের উত্পাদনে, দুটি স্থির অ প্রসঙ্গ-মুক্ত-প্রযোজনা যুক্ত করুনপিPP: 0¯¯¯0 → ϵ0¯0→ϵ\overline{0} 0 \rightarrow \epsilon এবং 1¯¯¯1 → ϵ1¯1→ϵ\overline{1} 1 \rightarrow \epsilon। ফলাফল ব্যাকরণ কলজিপিGPG^P "জন্য দাঁড়িয়েজিGG প্রযোজনার সাথে সংযোজন পিPP"। ব্যাকরণ লাগে …

9 context-free  decidability 

সমস্ত সিএফজির ক্ষেত্রে অস্পষ্ট সিএফজির অনুপাত কত ? যেহেতু উভয় সেট অগণিত অসীম অনুপাতটি সঠিকভাবে সংজ্ঞায়িত হয় না। তবে অ্যাসিপটোটিক ঘনত্ব সম্পর্কে কী : লিমn ↦ ∞ আকারের # দ্ব্যর্থক সিএফজি < এন আকারের # সিএফজি < এনlimn↦∞# ambiguous CFG of size<n# CFG of size<n\lim_{n \mapsto \infty}\frac {\# \text{ ambiguous …

9 fl.formal-languages  grammars  context-free 

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

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

অস্তিত্ব আছে একাধিক বিন্যাসন কি এবং বহুপদী আকার (মধ্যে ) প্রসঙ্গ বিনামূল্যে ব্যাকরণ যে সসীম ভাষা বর্ণনা বর্ণমালা ধরে ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} আপডেট: এক ক্রমানুসারে এটি সম্ভব। হল বিপরীতটির বিপরীত বা অপেক্ষাকৃত ছোটখাট পরিবর্তন।ππ\piππ\pi

9 fl.formal-languages  grammars  context-free