প্রশ্ন ট্যাগ «automata-theory»

একটি ভাষার জন্য এল ⊆ Σ ^ * , নির্ধারণ অন্বিত সঙ্গতি ≡ এর এল উপর অন্তত সঙ্গতি যেমন Σ ^ * যে সুসিক্ত এল , অর্থাত্: u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]। এখন নীচের ডান সমষ্টি হিসাবে নেরোড সমতুল্যতা সংজ্ঞায়িত করুন …

16 automata-theory  fl.formal-languages 

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

15 fl.formal-languages  automata-theory  dfa 

সমস্যাটি যাক একটি Buchi যন্ত্রমানব হতে একটি ভাষা স্বীকৃতি এল ⊆ Σ ω । আমরা ধরে নিই যে একজন নিম্নলিখিত অর্থে একটি গ্রহণযোগ্যতা কৌশল আছে: সেখানে একটি ফাংশন σ : Σ * → প্রশ্ন যার পাইলট রান ব্যবহার করা যেতে পারে একটি । আমরা নিম্নলিখিত শর্তাবলী দ্বারা এটি আনুষ্ঠানিক:A=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

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

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

নিয়মিত ভাষা L এর বর্গের ভিতরে কি কোনও "সুন্দর" শ্রেণিবিন্যাস L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dots (সীমাবদ্ধ হতে পারে) আছে ? এখানে সুন্দর করে, প্রতিটি শ্রেণিবিন্যাসের ক্লাসগুলি বিভিন্ন অভিব্যক্তি / শক্তি / জটিলতা ক্যাপচার করে। এছাড়াও, প্রতিটি শ্রেণীর সদস্যপদ কিছু উপাদান দ্বারা "সুন্দরভাবে" প্রদর্শিত হয় (তারার উচ্চতার সমস্যা থেকে …

14 automata-theory  regular-language  regular-expressions 

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 

থিম: ধরে নেওয়া যাক 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 

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

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

ইন Angluin এর অটোমাটা লার্নিং কাঠামো , একজন ছাত্র লক্ষ্য একটি নিয়মিত ভাষা শিখতে L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* তার শিক্ষককে প্রশ্ন দুই ধরনের জিজ্ঞাসা করে: ওয়ার্ড প্রশ্নের: প্রদত্ত w∈Σ∗w∈Σ∗w\in \Sigma^* হল w∈Lw∈Lw\in L ? সমানতা প্রশ্নের: একটি ভাষা দেওয়া K⊆Σ∗K⊆Σ∗K\subseteq \Sigma^* হল K=LK=LK=L ? যদি তা না হয় তবে শিক্ষক একটি পাল্টা …

13 automata-theory  regular-language 

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

13 cc.complexity-theory  np-hardness  automata-theory 

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

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

সুতরাং, আমি পাশের দৈর্ঘ্য সহ কয়েক-দু'রকম সহ প্রায় 100-200 খুব কম স্পার্স স্কয়ার বুলিয়ান ম্যাট্রিক্স পেয়েছি এবং তাদের পণ্যগুলি গণনা করা দরকার। আমি জানি যে আমি যদি তাদের ক্রমিকভাবে গুণ করি তবে পণ্যটি প্রতিটি পদক্ষেপে প্রায়শই বিরল থাকে। এই ক্ষেত্রে বিশেষত দ্রুত কাজ করে এমন কোনও ম্যাট্রিক্স চেইন প্রোডাক্ট অ্যালগরিদম …

13 ds.algorithms  automata-theory  matrix-product  sparse-matrix 

সিঙ্ক্রোনাস লজিকাল সার্কিট ব্যবহার করে কীভাবে এফএসএম প্রয়োগ করতে হবে তা শিখানোর সময়, আমি একটি আকর্ষণীয় কাকতালীয়তা লক্ষ্য করেছি: তাত্ত্বিক সিএস উভয় জগতে, এবং বৈদ্যুতিক প্রকৌশল বিশ্বে, "রাষ্ট্র" সাধারণত (এবং রাষ্ট্রীয় স্থান Q ) হিসাবে চিহ্নিত হয়। আমি প্রথমে EE.sx এ জিজ্ঞাসা করেছি , তবে তারপরে এই বিষয়টি সম্পর্কে কিছুটা …

13 automata-theory  ho.history-overview