Вопросы с тегом «monoid»

Пусть - некоторый язык, тогда мы определим синтаксическую конгруэнцию как u ∼ v : ⇔ ∀ x , y ∈ X ∗ : x u y ∈ L ↔ x v y ∈ L и фактор-моноид X ∗ / ∼ L равен называется синтаксическим моноид из L .L⊆X∗L⊆X∗L \subseteq X^{\ast}u∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈Lu∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈L …

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

Позволять AAAбыть конечным алфавитом. Для данного языкаL ⊆A*L⊆A∗L \subseteq A^{\ast}синтаксический Моноид M( Л )M(L)M(L)является известным понятием в теории формального языка. Кроме того, моноидMMM признает язык LLL если существует морфизм φ :A*→ Мφ:A∗→M\varphi : A^{\ast} \to M такой, что L =φ- 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)мы можем определить коллекцию функций еafaf_a для каждого a ∈ Γa∈Γa\in \Gammaи с еa: Q → Qfa:Q→Qf_a:Q\rightarrow Q, еa( д) = δ( д, )fa(q)=δ(q,a)f_a(q)=\delta(q, a), Мы можем обобщить это понятие на словоW =a1, ⋯ ,aмw=a1,⋯,amw=a_1, \cdots, …

9 automata-theory  regular-language  monoid 

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

9 pl.programming-languages  algebra  monoid