প্রশ্ন ট্যাগ «monoid»

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

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

দিন 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 …

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

একটি সম্পূর্ণ ডিএফএ দেওয়া হয়েছে এ = ( প্রশ্ন , Γ , δ), এফ)একজন=(প্রশ্নঃ,Γ,δ,এফ)A=(Q, \Gamma, \delta, F), আমরা ফাংশনগুলির একটি সংজ্ঞা নির্ধারণ করতে পারি চএকটিচএকটিf_a প্রতিটির জন্য, প্রত্যেকটির জন্য a ∈ Γএকটি∈Γa\in \Gammaএবং সাথে চএকটি: প্রশ্ন → প্রশ্নচএকটি:প্রশ্নঃ→প্রশ্নঃf_a:Q\rightarrow Q, চএকটি( প্রশ্ন)) = δ( প্রশ্ন), ক )চএকটি(কুই)=δ(কুই,একটি)f_a(q)=\delta(q, a)। আমরা এই ধারণাটিকে …

9 automata-theory  regular-language  monoid 

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

9 pl.programming-languages  algebra  monoid