Запитання з тегом «monoid»

Нехай є якоюсь мовою, тоді ми визначаємо синтаксичну збіжність як і фактор моноїд називається синтаксичної моноїд з . u ∼ v : ⇔ ∀ x , y ∈ X ∗ : x u y ∈ L ↔ x v y ∈ L X ∗ / ∼ L LL ⊆ X∗L⊆X∗L …

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

Нехай - кінцевий алфавіт. Для даної мови синтаксичний моноїд являє собою добре відоме поняття в теорії формальних мов. Крім того, моноїд розпізнає мову якщо існує морфізм такий, що .ААAL ⊆А∗L⊆А∗L \subseteq A^{\ast} M(L)М(L)M(L)MМMLLLφ:A∗→Mφ:А∗→М\varphi : A^{\ast} \to ML=φ−1(φ(L)))L=φ-1(φ(L)))L = \varphi^{-1}(\varphi(L))) Тоді ми маємо хороший результат: Моноїд розпізнає якщо є гомоморфним зображенням …

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

З огляду на повний DFA A=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F), ми можемо визначити набір функцій для кожної та за допомогою , . Ми можемо узагальнити це поняття до слова і де позначає склад функції. Крім того, позначимо а - моноїд.fafaf_aa∈Γa∈Γa\in \Gammafa:Q→Qfa:Q→Qf_a:Q\rightarrow Qfa(q)=δ(q,a)fa(q)=δ(q,a)f_a(q)=\delta(q, a)w=a1,⋯,amw=a1,⋯,amw=a_1, \cdots, a_mfw=fa1∘⋯∘famfw=fa1∘⋯∘famf_w=f_{a_1}\circ \cdots \circ f_{a_m}∘∘\circG = {fш∣ w …

9 automata-theory  regular-language  monoid 

Вступ Я пишу кандидатську дисертацію з абстрактного моделювання дельта (ADM), абстрактного алгебраїчного опису модифікацій (відомих як дельти ), здатних діяти на продукти (як у «програмних продуктах»). Це може бути використано для організації набору супутніх продуктів ("продуктової лінійки") як простого основного продукту та набору умовно застосованих дельт, і таким чином давати …

9 pl.programming-languages  algebra  monoid