Пусть - некоторый язык, тогда мы определим синтаксическую конгруэнцию как 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 u \sim v :\Leftrightarrow...
Введение Я пишу докторскую диссертацию по абстрактному дельта-моделированию (ADM), абстрактному алгебраическому описанию модификаций (известных как дельты ), способных воздействовать на продукты (как в «программных продуктах»). Это может быть использовано для организации набора связанных продуктов...
Учитывая полный 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, ⋯...
Позволять 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(...