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

আনুষ্ঠানিক ভাষা, ব্যাকরণ, স্বয়ংক্রিয় তত্ত্ব

1
পি (পিটাইম) এবং টাইপ 1 (প্রসঙ্গে সংবেদনশীল) ভাষার মধ্যে অনুমানযুক্ত সম্পর্ক কী?
তা অজানা P⊆CSLP⊆CSLP\subseteq CSL অথবা P⊈CSLP⊈CSLP\not\subseteq CSL, কোথায় PPP একটি ডিস্ট্রিমেন্টিক ট্যুরিং মেশিনে বহু ভাষার সময়ে নির্ধারিত সমস্ত ভাষার সেট এবং CSLCSLCSL এটি প্রসঙ্গ-সংবেদনশীল ভাষার শ্রেণি, সমতুল্য হিসাবে পরিচিত NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)), লিনিয়ার-সীমানা অটোমেটা দ্বারা সিদ্ধান্ত নেওয়া ভাষাগুলি। অনেক খোলা প্রশ্নের জন্য, সেখানে একটি উত্তর দিকে একটা প্রবণতা (হয় একটি লা "সবচেয়ে …

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

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

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

1
বিবৃতিটির সাধারণীকরণ যে কোনও মনোয়েড ভাষা স্বীকৃতি দেয় যদি সিন্ট্যাক্টিক মোনয়েড মনোয়েডকে বিভক্ত করে
দিন 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 …

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

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

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

1
কোনও বিকল্প ছাড়াই নিয়মিত অভিব্যক্তি
আমি ভাবছিলাম যে নিয়মিত প্রকাশের সীমাবদ্ধতার দ্বারা ভাষাগুলির সেটগুলি কী উত্পন্ন হয়। মনে করুন যে সমস্ত বিধিনিষেধের প্রতিটি উপাদানের জন্য একটি স্থির প্রতীক রয়েছেΣΣ\Sigmaএবং উপসংহার। তারপরে আটটি ক্লাস পরিপূরক / অবহেলা, পরিবর্তন / ইউনিয়ন এবং ক্লিন তারার উপস্থিতি বা অনুপস্থিতি দ্বারা গঠিত হতে পারে। (হ্যাঁ, 'স্বাভাবিক' নিয়মিত এক্সপ্রেশনগুলির একটি থাকে …

2
চমস্কি স্বাভাবিক ফর্ম পদ্ধতি: সিওয়াই পার্সার পারফরম্যান্সের প্রভাবগুলি?
চার্ট পার্সারগুলি চমস্কি স্বাভাবিক ফর্মের ভিত্তিতে বা সরাসরি উত্পাদন নিয়মের ভিত্তিতে প্রয়োগ করা যেতে পারে। মুহুর্তের জন্য ধরে নেওয়া যাক আমাদের কাছে একটি সিওয়াই চার্ট পার্সার রয়েছে যা চমস্কি স্বাভাবিক ফর্ম ব্যবহার করে। বাইনারিাইজেশন স্বতন্ত্রভাবে সংজ্ঞায়িত হয় না। এটি সিওয়াই চার্ট পার্সের পারফরম্যান্সকে প্রভাবিত করে। এটি কোনও সিওয়াই কে চার্ট …

1
বহু-আকারের সিএফজি রয়েছে যা এই সীমাবদ্ধ ভাষাটি বর্ণনা করে?
অস্তিত্ব আছে একাধিক বিন্যাসন কি এবং বহুপদী আকার (মধ্যে ) প্রসঙ্গ বিনামূল্যে ব্যাকরণ যে সসীম ভাষা বর্ণনা বর্ণমালা ধরে ?π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

4
লিনিয়ার বাউন্ডেড অটোমেটা কেন অন্য অটোমেটার মতো জনপ্রিয় নয়?
আমার অভিজ্ঞতায়, প্রাসঙ্গিক সংবেদনশীল ভাষা এবং লিনিয়ার বাউন্ডেড অটোমাতা ঘন ঘন কমপ্যুটেবিলিটি থিওরি কোর্সে স্কিপ বা ব্রীজড হয় এবং এমনকি কিছু উল্লেখযোগ্য পাঠ্য বইয়ের বাইরে চলে যায় যদিও সীমাবদ্ধ এবং পুশডাউন অটোমেটা প্রচুর মনোযোগ পায়। অবশ্যই এলবিএগুলিকে তাদের প্রতিযোগীদের তুলনায় কেন কম ফোকাস দেওয়া হচ্ছে তার জন্য অবশ্যই একটি ভাল …
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.