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

যাক উপর সব ভাষার পরিবার হতে Σ পরিতৃপ্ত পাম্পিং সম্পত্তি নিয়মিত ভাষার। যথা: প্রত্যেকের জন্য এল ∈ এল , একটি হল এন ∈ এন ম প্রত্যেক শব্দ W ∈ এল , | ডাব্লু | > এন আকারে w = x y z আকারে লেখা যেতে পারে যেখানে: 1. | y …

14 reference-request  fl.formal-languages  automata-theory 

Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}আর ই জি ⊆ টি সি 0 এন সি 1 ⊈ টি সি 0 আর ই জি ⊈ টি সি 0TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} in যে in তে নেই এমন কোনও সমস্যার জন্য প্রার্থী আছেন ?টি সি 0RegReg\mathsf{Reg}TC0TC0\mathsf{TC^0} সেখানে একটি শর্তাধীন ফলাফলের ইঙ্গিত যে Reg⊈TC0Reg⊈TC0\mathsf{Reg} …

14 cc.complexity-theory  fl.formal-languages  automata-theory  circuit-complexity  regular-language 

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

14 fl.formal-languages  automata-theory  nondeterminism  minimization 

নিম্নলিখিত নির্দেশাবলী সহ একটি আদর্শ দুটি কাউন্টার ( ) মেশিন করতে পারেন:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT নিম্নলিখিত ভাষাটি সিদ্ধান্ত নিন: L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2 \mid …

14 fl.formal-languages  counter-automata 

থিম: ধরে নেওয়া যাক ETA-সমানতা আমরা যে আছে (\x -> ⊥) = ⊥ :: A -> B। প্রুফ: ⊥ = (\x -> ⊥ x)এটা-সমতা এবং (\x -> ⊥ x) = (\x -> ⊥)ল্যাম্বদার নীচে হ্রাস দ্বারা। হাস্কেল 2010 রিপোর্ট, বিভাগ 6.2 seqদুটি সমীকরণ দ্বারা ফাংশন নির্দিষ্ট করে : seq :: …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

আমি "পড়া করছি নিয়মিত ভাষাসমূহ এবং Descriptional জটিলতা সংযুক্তকরণ " গালিনা Jiraskova, 2009 দুটি নিয়মিত ভাষা (গালিনা Jiraskova দ্বারা) এর সংযুক্তকরণের ফলে রাষ্ট্র জটিলতার উপর, কিন্তু আমি বুঝতে পারছি না রাষ্ট্র জটিলতা ব্যবহারিক বিষয় হবে কি । প্রথম তুচ্ছ চিন্তা আমাকে আঘাত করেছিল যে উচ্চতর জটিলতার জন্য মেশিনের দ্বারা আরও …

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

কন্ডিশন-মুক্ত ভাষা এল নিয়মিত, অর্থাত্ ফর্মের শর্তগুলির একটি তালিকা সংগ্রহ করা ভাল 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 

ধরা যাক যে আমার কাছে কোডের একটি বড় ব্লক রয়েছে যা আমি ইতিমধ্যে লেক্স এবং পার্স করেছি। মনে করুন যে মাত্র একটি চরিত্র পরিবর্তিত হয়েছে; আমি আমার পার্সিংটি আপডেট করতে চাই, তবে যেহেতু পুরোটিটির তুলনায় পরিবর্তনটি খুব ছোট, তাই আমি আবার পুরো জিনিসটিকে বিশ্লেষণ না করা সম্ভব কিনা তা জানতে …

14 fl.formal-languages  parsing 

যাক কিছু ভাষা হতে, তাহলে আমরা সংজ্ঞায়িত অন্বিত সঙ্গতি যেমন তোমার দর্শন লগ করা ~ বনাম : ⇔ ∀ এক্স , Y ∈ এক্স * : এক্স তোমার দর্শন লগ করা Y ∈ এল ↔ এক্স বনাম Y ∈ এল এবং ভাগফল monoid এক্স * / ~ এল হয় নামক …

14 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

সাম্প্রতিক প্রশ্নটি পড়ার পরে "" প্রসঙ্গমুক্ত? " {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 

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

13 fl.formal-languages  automata-theory  algebra  regular-language 

আমি (এবং / অথবা অসীম শব্দ ) এর দুটি নিয়মিত ভাষার সীমাবদ্ধ ভাষার মধ্যে "ঘনিষ্ঠতা" একটি ধারণাটি সংজ্ঞায়িত করতে চাই । মূল ধারণাটি হ'ল আমরা চাই দুটি ভাষাগুলি যদি খুব শব্দ দ্বারা পৃথক না হয় তবে তারা নিকটবর্তী হয়। আমরা কোনওভাবে সম্পাদনার দূরত্বও ব্যবহার করতে পারি ... আমি এই বিষয়ে …

13 reference-request  fl.formal-languages  regular-language 

গ্রিবাচ বিখ্যাতভাবে একটি ভাষা সংজ্ঞায়িত করেছিলেন , এটি ডি 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