불연속 구문 구조 문법

불연속 구문 구조 문법(DCPSG) (불연속 구문 구조 문법/DPSG로부터 간결함)은 VSO 언어의 동사 구문과 같은 불연속 구문을 자연어로 기술하기 위한 형식주의다.형식주의는 하만 (1963년)에서 다소 제약이 있는 불연속구 구조 문법 (DCPSGSD)의 형태로 도입되었다.^[1]DCPSG는 문법 헤드와 유사하게 제한된 양의 포장을 허용하는 재작성 규칙을 통해 문맥이 없는 언어의 상위 집합을 설명한다.

설명

DCPSG의 재작성 규칙은 여기서 밑줄로 표시된 메타 심볼을 추가하여 CFG의 규칙과 동일하다.따라서 DCPSG 규칙은 일반 $X\to \alpha$ X → $X\to \alpha$ {\ $displaystyle X$ \to \ $alpha }$ 을(를) 가지고 있다. 여기서 $X\to \alpha$ $\alpha$ $\alpha$ 은 $\alpha$ (는) 단자 기호 및/또는 비단자 기호의 문자열이며 최대 하나의 밑줄이다.

DCPSG의 다시 쓰기 의미론은 사용 중인 규칙이 밑줄을 포함하지 않을 때 CFG와 동일하다. 규칙 $X\to \alpha$ → $X\to \alpha$ {\ $displaystyle$ X $\to \alpha }$ 에 따라 $X\to \alpha$ X ${\displaystyle$ X $}$ 의 $X$ 은 $\alpha$ $\alpha$ 로 다시 쓸 수 있다 $X$ $\alpha$

For rules with an underscore, the rewrite semantics are slightly different: given a rule $X\to \alpha \_\beta$ , an occurrence of $X$ can be rewritten as $\alpha$ , with $\beta$ being inserted immediately after the next non-terminal that is intr동시다발적으로 $\beta$ $\beta$ 은(는) 엄격한 왼쪽의 프로덕션을 사용하여 다시 쓰기 전에 $X$ $X$ $X$ 뒤에 오는 비단자 바로 뒤에 삽입하면 $\beta$ 된다.