monoid पर टैग किए गए जवाब

3
भाषाओं की वाक्य रचना के रूप में monoids की प्राप्ति पर
चलो कुछ भाषा हो, तो हम को परिभाषित वाक्यात्मक अनुरूपता के रूप में यू ~ वी : ⇔ ∀ एक्स , वाई ∈ एक्स * : एक्स यू वाई ∈ एल ↔ एक्स वी वाई ∈ एल और भागफल monoid एक्स * / ~ एल है कहा जाता है वाक्यात्मक …

1
इस कथन का सामान्यीकरण कि एक मोनॉइड भाषा को पहचानता है iff सिंथैटिक मोनॉइड मोनॉइड को विभाजित करता है
चलो AAAएक बारीक अक्षर हो। किसी दी हुई भाषा के लिएL⊆A∗L⊆A∗L \subseteq A^{\ast}वाक्यात्मक monoid M(L)M(L)M(L)औपचारिक भाषा सिद्धांत में एक प्रसिद्ध धारणा है। इसके अलावा, एक monoidMMM एक भाषा को पहचानता है LLL अगर वहाँ एक रूपवाद मौजूद है φ:A∗→Mφ:A∗→M\varphi : A^{\ast} \to M ऐसा है कि L=φ−1(φ(L)))L=φ−1(φ(L)))L = \varphi^{-1}(\varphi(L)))। फिर …

1
डीएफए के लिए संक्रमण मोनॉयड सदस्यता
एक पूर्ण DFA को देखते हुए , हम प्रत्येक लिए और साथ , कार्यों के संग्रह को परिभाषित कर सकते हैं । हम इस धारणा को शब्द और जहां फ़ंक्शन रचना को दर्शाता है। इसके अलावा हम निरूपित और monoid है।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 …

2
एक अमूर्त पदानुक्रम का औपचारिक प्रतिनिधित्व
परिचय मैं एब्सट्रैक्ट डेल्टा मॉडलिंग (एडीएम) पर पीएचडी थीसिस लिख रहा हूं , संशोधनों का सार बीजगणितीय विवरण ( डेल्टास के रूप में जाना जाता है ) उत्पादों पर काम करने में सक्षम ('सॉफ्टवेयर उत्पादों' के रूप में)। इसका उपयोग संबंधित उत्पादों के एक सेट ('उत्पाद लाइन') को एक साधारण …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.