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

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

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

আইসোমর্ফিক নয় এমন ন্যূনতম অ-নিরস্তক অটোমেটা (এনএফএ) কে দুটি সমতুল্য (একই ভাষা স্বীকৃতি দেওয়ার) উদাহরণ দিতে পারে?

12 fl.formal-languages  automata-theory 

বলুন যে কারও কাছে একটি ভাষা , তবে কেউ জানেন না যে স্ট্রিংগুলি আসলে ভাষার অংশ। প্রত্যেকটি ভাষাতেই সীমাবদ্ধ দৃষ্টিভঙ্গি রয়েছে: ভাষার মধ্যে পরিচিত স্ট্রিং এর একটি সীমাবদ্ধ সেট এবং একটি সীমাবদ্ধ সেট যা পরিচিত ভাষায় না।L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^*A⊆LA⊆LA \subseteq LB⊆(Σ∗∖L)B⊆(Σ∗∖L)B \subseteq (\Sigma^* \setminus L) উদাহরণস্বরূপ, আসুন আমি আছে এবং …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

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

12 fl.formal-languages  automata-theory 

এটি সম্ভবত বেশ সহজ, তবে স্ট্যান্ডার্ড পোস্ট চিঠিপত্রের সমস্যাটি বিবেচনা করুন: প্রদত্ত এবং β 1 , ... , β এন , সূচকের একটা ক্রম এটি আমি 1 , ... , আমি K যেমন যে α আমি 1 ⋯ α আমি কে = β আমি 1 ⋯ β আমি কে । …

12 computability  fl.formal-languages 

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

12 fl.formal-languages 

এটি সুপরিচিত যে এর পরিপূরকটি প্রসঙ্গমুক্ত{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  automata-theory  prefix-free-code  nfa 

একটি ভাষা হতে দিন এবং two একটি বৈশিষ্ট্যটি দুটি প্যারামিটারের সাথে বৈশিষ্ট্যযুক্ত যে সমস্ত এবং , উপাদান ফেরত দেয় যদি এবং কেবলমাত্র এবং উভয়ই এর উপাদান হয় তবে :চ : ΣLএলLf:Σ⋆×Σ⋆→Σ⋆চ:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxএক্সxyYyfচfx y এলLএলLxএক্সxyYyLএলL f(x,y)∈L⟺x∈L∧y∈L.চ(এক্স,Y)∈এল⟺এক্স∈এল∧Y∈এল।f(x,y)\in L \iff x\in L\wedge y\in L . প্রশ্ন সাহিত্যে এই জাতীয় ক্রিয়াকলাপের কোনও নাম আছে …

11 reference-request  fl.formal-languages 

একটি ভেক্টর সংযোজন সিস্টেম (VAS) হ'ল ক্রিয়াকলাপগুলির একটি সীমাবদ্ধ সেট । সমীকরণ হল চিহ্ন । একটি রান হ'ল চিহ্নগুলির একটি খালি খালি শব্দ নয় stA⊂ZdA⊂ZdA \subset \mathbb{Z}^dNdNd\mathbb{N}^dm0m1…mnm0m1…mnm_0 m_1\dots m_n∀i∈{0,…,n−1},mi+1−mi∈A∀i∈{0,…,n−1},mi+1−mi∈A\forall i \in \{0, \dots, n-1\}, m_{i+1}-m_i \in A । এই ধরনের একটি শব্দ বিদ্যমান আমরা বলে যে যদি mnmnm_n হয় পৌঁছানো …

11 fl.formal-languages  decidability 

নিম্নলিখিত সমস্যা বিবেচনা করুন: দুটি স্ট্রিং x, y দেওয়া হয়েছে তা স্থির করে নিন যে সেখানে স্ট্রিং হোমোমর্ফিজম f রয়েছে যা f (x) = y। এটি সহজেই দেখানো যায় যে এই সমস্যাটি । এই সমস্যা সম্পর্কে আমরা বলতে পারি এমন আরও কিছু জিনিস রয়েছে? যেমন এটি সি ও এন পি …

11 cc.complexity-theory  reference-request  fl.formal-languages 

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

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

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

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

এই প্রশ্নের একটি সঙ্গে সম্পর্কযুক্ত সাম্প্রতিক প্রশ্ন দ্বারা Janoma । পটভূমি বাধ্যতা প্রোগ্রামিং, একটি নিয়মিত বিশ্বব্যাপী বাধ্যতা ccc একটি ডোমেইন উপর DDD একজোড়া হয় (s,M)(s,M)(s, M) সঙ্গে sss ভেরিয়েবল একটি tuple (স্কোপ) এবং MMM একটি DFA তে ডোমেইন উপর DDD । একটি কাজ θθ\theta থেকে গুলিss সন্তুষ্ট গcc যদি এমMM …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language 

নিম্নলিখিত সমস্যাটি নির্ধারণযোগ্য: একটি প্রসঙ্গমুক্ত ব্যাকরণ , এল ( জি ) = ∅ ?জিGGL(G)=∅L(G)=∅L(G) = \varnothing নিম্নলিখিত সমস্যাটি অনস্বীকার্য: একটি প্রসঙ্গমুক্ত ব্যাকরণ , এল ( জি ) = এ ∗ ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} সেখানে প্রেক্ষাপটে মুক্ত ভাষায় একটি চরিত্রায়ন হয় নির্ধার্য সমতা সঙ্গে এল ( জি ) = এম ?MMML(G)=ML(G)=ML(G) …

11 computability  fl.formal-languages