허락하다 ㅏAA유한 한 알파벳이어야합니다. 주어진 언어L ⊆ㅏ※L⊆A∗L \subseteq A^{\ast}구문 모노 이드 미디엄( L )M(L)M(L)공식적인 언어 이론에서 잘 알려진 개념입니다. 또한, monoid미디엄MM 언어를 인식 엘LL morphism이 있다면 φ :ㅏ※→ Mφ:A∗→M\varphi : A^{\ast} \to M 그런 L =φ− 1( φ ( L ) ) )L=φ−1(φ(L)))L = \varphi^{-1}(\varphi(L))). 그런 다음 좋은 결과를 얻습니다. …
완전한 DFA가 주어짐 A = ( Q , Γ , δ, F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F)함수 모음을 정의 할 수 있습니다 에프ㅏfaf_a 각각 ∈ Γa∈Γa\in \Gamma와 에프ㅏ: Q → Qfa:Q→Qf_a:Q\rightarrow Q, 에프ㅏ( q) = δ( q, )fa(q)=δ(q,a)f_a(q)=\delta(q, a). 이 개념을 한 단어로 일반화 할 수 있습니다w =ㅏ1, ⋯ ,ㅏ미디엄w=a1,⋯,amw=a_1, \cdots, a_m …
소개 나는 ( '소프트웨어 제품'에서와 같이) 제품 에 작용할 수있는 수정 ( 델타 라고도 함)에 대한 추상 대수적 설명 인 추상 델타 모델링 (ADM) 에 관한 박사 학위 논문을 쓰고 있습니다. 이를 통해 관련 제품 세트 ( '제품 라인')를 간단한 핵심 제품 및 조건부 적용 델타 세트로 구성하여 기본 아티팩트를 …