«monoid» etiketlenmiş sorular

Let olmak bazı dil, o zaman tanımlayan sözdizimsel uyumunu olarak ve monoid bölümlerine nin sözdizimsel denir . u ∼ v : ⇔ ∀ x , y ∈ X ∗ : x u y ∈ L ↔ x v y ∈ L X ∗ / ∼ L LL⊆X∗L⊆X∗L \subseteq X^{\ast}u∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈Lu∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈L u …

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

Let sonlu bir alfabe olacak. Belirli bir dil için sözdizimsel monoid resmi dili teoride bilinen bir kavramdır. Ayrıca, bir monoid , bir bir morfizm varsa dilini tanır .AAAL⊆A∗L⊆A∗L \subseteq A^{\ast} M(L)M(L)M(L)MMMLLLφ:A∗→Mφ:A∗→M\varphi : A^{\ast} \to ML=φ−1(φ(L)))L=φ−1(φ(L)))L = \varphi^{-1}(\varphi(L))) Sonra güzel bir sonuç elde ettik: Bir Monoid tanır eğer bir submonoid bir …

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

Tam bir DFA verildi A=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F), fonksiyonların bir koleksiyonunu tanımlayabiliriz fafaf_a her biri için a∈Γa∈Γa\in \GammaVe birlikte fa:Q→Qfa:Q→Qf_a:Q\rightarrow Q, fa(q)=δ(q,a)fa(q)=δ(q,a)f_a(q)=\delta(q, a). Bu düşünceyi bir kelimeye genelleştirebilirizw=a1,⋯,amw=a1,⋯,amw=a_1, \cdots, a_m ve fw=fa1∘⋯∘famfw=fa1∘⋯∘famf_w=f_{a_1}\circ \cdots \circ f_{a_m} nerede ∘∘\circ"Fonksiyon bileşimi". Ayrıca,G={fw∣w∈Γ∗}G={fw∣w∈Γ∗}G=\{f_w\mid w\in \Gamma^*\} ve GGG monoiddir. [GGGgenellikle standart ders kitabında geçiş monoid …

9 automata-theory  regular-language  monoid 

Giriş Doktora tezimi , ürünlere ('yazılım ürünleri' nde olduğu gibi ) göre hareket edebilen değişikliklerin ( delta olarak bilinir ) soyut bir cebirsel açıklaması olan Soyut Delta Modelleme (ADM) üzerine yazıyorum . Bu, bir dizi ilgili ürünü (bir 'ürün hattı') basit bir çekirdek ürün ve bir dizi koşullu olarak uygulanan …

9 pl.programming-languages  algebra  monoid