문맥 의존 문법
위키백과, 우리 모두의 백과사전.
문맥 의존 문법(Context-sensitive grammar, CSG), 문맥 민감 문법은 형식 문법의 한 종류로, 생성규칙에서 시작 부분과 끝부분을 나타내는 것을 포함하는 부분이다.
정의 [편집]
형식 문법 G = (N, Σ, P, S) (다음의 정의와 같다. G = (V, T, P, S), N/V 는 비 말단 변수, Σ/T 는 말단) 은 P의 모든 문법이 αAβ → αγβ 일때 문맥 의존이다.
단, A ∈ N (A는 하나의 비말단), α,β ∈ (N U Σ)* ( α 와 β는 비말단과 말단 기호의 문자열) , γ ∈ (N U Σ)+ (γ 는 비말단과 말단 기호로 된 길이가 0이 아닌 문자열)이다.
|
오토마타 이론: 형식 언어 및 형식 문법 |
|---|
|
각 언어 및 문법은 바로 윗줄의 진부분집합이다. 또한 각 기계와 문법은 바로 윗줄의 기계와 문법으로 동등하게 기술될 수 있다.
|
