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

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

26 ds.algorithms  co.combinatorics  fl.formal-languages  regular-language 

প্রসঙ্গমুক্ত ব্যাকরণ (সিএফজি) এর সাথে জড়িত অনেকগুলি গবেষণাপত্রে, সেখানে উপস্থিত এমন ব্যাকরণের উদাহরণগুলি প্রায়শই তাদের উত্পন্ন ভাষার সহজ বৈশিষ্ট্য স্বীকার করে। উদাহরণ স্বরূপ: এস →এস→ একটি একটি এসখএস→একটিএকটিএসখS \to a a S b এস→এস→S \to উত্পন্ন করে ,{ ক2 iখআমি| আমি≥0}{একটি2আমিখআমি|আমি≥0}\{ a^{2i} b^i | i \geq 0\} এস → একটি …

25 fl.formal-languages  context-free  context-free-languages 

আমি সম্প্রতি আর্লি পার্সারটি পড়ছিলাম এবং মনে করি এটি আজ পর্যন্ত দেখা সবচেয়ে মার্জিত আলগোরিদিমগুলির মধ্যে একটি। তবে, চিরাচরিত অর্থে অ্যালগরিদম একটি সনাক্তকারী এবং কোনও পার্সার নয়, যার অর্থ এটি স্ট্রিং নির্দিষ্ট সিএফজির সাথে মেলে কিনা তবে এটির জন্য একটি পার্স গাছ তৈরি করতে পারে না তা সনাক্ত করতে পারে। …

25 fl.formal-languages  parsing 

1) স্ট্যাটিক টাইপিং এবং ফর্মাল ব্যাকরণগুলির মধ্যে কী সম্পর্ক? 2) বিশেষত, কোনও লিনিয়ার বাউন্ডেড অটোমেটনের পক্ষে, একটি সি ++ বা এসএমএল প্রোগ্রামটি ভাল টাইপ করা হয়েছে কিনা তা পরীক্ষা করা সম্ভব হবে? নেস্টেড স্ট্যাক অটোমেটন? 3) আনুষ্ঠানিক ব্যাকরণ শর্তে স্থিতিশীল টাইপিং বিধি প্রকাশ করার প্রাকৃতিক উপায় আছে কি?

25 automata-theory  fl.formal-languages  pl.programming-languages  type-theory  type-inference 

কোন ভাষায় জন্য উপর Σ * , নির্ধারণ এল 1 / 2 = { x এর ∈ Σ * : এক্স Y ∈ এল , Y ∈ Σ | এক্স | } । কথায়, এল 1 / 2 সব নিয়ে গঠিত এক্স , যার জন্য একটা হল Y সমান দৈর্ঘ্য …

24 fl.formal-languages  automata-theory 

একটি নির্দিষ্ট সসীম বর্ণমালা জন্য , একটি আনুষ্ঠানিক ভাষা উপর হয় নিয়মিত যদি একটি বিদ্যমান নির্ণায়ক সসীম যন্ত্রমানব (DFA তে) উপর Σ যা ঠিক গ্রহণ করে এল ।এল ΣΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL আমি যে ভাষাগুলিতে "প্রায়" নিয়মিত সেগুলি সম্পর্কে আগ্রহী যেগুলি আকারের অটোমাতা পরিবারগুলির দ্বারা স্বীকৃত হতে পারে যা এই শব্দ দৈর্ঘ্যের সাথে …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

আপনারা কেউ কেউ এই প্রশ্নটি অনুসরণ করছেন , যা গবেষণা স্তর না হওয়ার কারণে বন্ধ ছিল। সুতরাং, আমি প্রশ্নের অংশটি বের করছি যা গবেষণা পর্যায়ে is "সরল" কৌশলগুলি ছাড়াই যেমন বাছাই বা হ'ল এক্সপটাইম-সম্পূর্ণ সমস্যা হ্রাস, কোনও সমস্যার সময় জটিলতার জন্য নিম্ন সীমা প্রমাণ করার জন্য কোন কৌশলগুলি ব্যবহার করা …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

ননকোনোনিকাল এলআর পার্সিংয়ের সাথে ঝাঁকুনি দেওয়ার সময়, আমি একটি পার্সিং পদ্ধতিটি (অসীম আকারের টেবিলগুলির সাথে, এটি কিছুটা অবাস্তব করে তোলে ) সময়ে ঠিক দ্ব্যর্থহীন ব্যাকরণকে পার্স করতে সক্ষম করেছিলাম এবং আমি ভাবছিলাম যে এটি করা সম্ভব কিনা? উত্তম:O(n2)O(n2)O(n^2) সমস্ত দ্ব্যর্থহীন ব্যাকরণ কি লিনিয়ার সময়ে পার্স করা যায়? আমি নিশ্চিত যে …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

একটি সম্পর্ক এর (নির্ধারিত) যোগাযোগের জটিলতা ছাড়াও প্রয়োজনীয় পরিমাণ যোগাযোগের জন্য অন্য একটি প্রাথমিক মাপ হল প্রোটোকল পার্টিশন নম্বর । এই দুটি পদক্ষেপের মধ্যে সম্পর্ক একটি ধ্রুবক ফ্যাক্টর পর্যন্ত জানা যায়। কুশিলিভিটস এবং নিসান (1997) এর মনোগ্রাফ দেয়আরসি সি ( আর )গগ(আর)cc(R)আরআরR পি পি ( আর )পিপি(আর)pp(R) সি সি ( …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity 

আমি লক্ষ্য করেছি যে বর্ণমালার উপর নিয়মিত ভাষা স্বাভাবিকভাবেই একটি পোসেট, এবং প্রকৃতপক্ষে একটি জাল হিসাবে বিবেচনা করা যেতে পারে। তাছাড়া, খালি ভাষা সঙ্গে সংযুক্তকরণের একসঙ্গে এই বিষয়শ্রেণীতে যে বিভাজক উপর যোগদান (আমি নই সম্পর্কে নিশ্চিত পূরণ করে) একটি কঠোর monoidal গঠন সংজ্ঞায়িত করে। এটি নিয়মিত ভাষাগুলির তত্ত্ব বা অনুশীলনে …

21 fl.formal-languages  regular-language  ct.category-theory 

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

21 fl.formal-languages  automata-theory  proofs  grammars 

দ্বারা চিহ্নিত WএনWএনw_n দৈর্ঘ্যের শব্দের সংখ্যা এনএনn একটি (সম্ভবত দ্ব্যর্থক) প্রসঙ্গ-মুক্ত ভাষায়। WএনWএনw_n সম্পর্কে কী জানা যায় ? আমি নিশ্চিত এটি অনেক অধ্যয়ন করা হয়েছে, কিন্তু আমি এটি কিছুই খুঁজে পেল না।

20 fl.formal-languages  context-free 

, এর নিয়মিত প্রকাশগুলি দেওয়া কি -এর জন্য ক্ষুদ্রতম প্রসঙ্গ-মুক্ত ব্যাকরণের আকারের কোনও অপ্রয়োজনীয় সীমারেখা আছে ?আর 1 ∩ ⋯ ∩ আর এনR1,…,RnR1,…,RnR_1, \dots, R_nR1∩⋯∩RnR1∩⋯∩RnR_1 \cap \cdots \cap R_n

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

সীমাবদ্ধ বর্ণমালা সিগমাতে নিম্নলিখিত শ্রেণীর "বৃত্তাকার" ভাষার সংজ্ঞা দিন। আসলে, নামটি ইতিমধ্যে ডিএনএ কম্পিউটিংয়ের ক্ষেত্রে ব্যবহৃত একটি পৃথক জিনিস বোঝাতে বোঝাচ্ছে। এএএএআইএফসিটি, এটি ভাষার বিভিন্ন শ্রেণি। একটি ল্যাঙ্গুয়েজ এল সব শব্দের জন্য বিজ্ঞপ্তি iff হয় মধ্যে , আমরা আছে:WwwΣ*Σ∗\Sigma^* k > 0 ডব্লু কেWww L এর সাথে সম্পর্কিত এবং কেবলমাত্র …

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

এটি সর্বজনবিদিত যে সাধারণ প্রসঙ্গ-মুক্ত ভাষাগুলির জন্য সমতা সমস্যা অনস্বীকার্য। যাইহোক, এই বিষয়টির সমস্ত প্রমাণ যে সম্পর্কে আমি সচেতন সেগুলিতে কিছুটা অস্পষ্ট প্রসঙ্গ-মুক্ত ব্যাকরণ জড়িত বলে মনে হয়। এই কারণে, আমি নিজেকে জিজ্ঞাসা করতে চাই যে নিজেকে দ্ব্যর্থহীন প্রসঙ্গ-মুক্ত ভাষায় সীমাবদ্ধ করার সময় সমস্যাটি অনস্বীকার্য remains অর্থাত্, দুটি প্রাসঙ্গিক মুক্ত …

19 fl.formal-languages  grammars  context-free  decidability  undecidability