[논문 리뷰] On Descriptive Complexity, Language Complexity, and GB

James Rogers|ArXiv.org|1995. 05. 23.

semigroups and automata theory인용 수 6

한 줄 요약

이 논문은 트리 위의 단항 이阶논리인 $L^2_{K,P}$를 소개하며, 정의 가능성에 의해 강력한 문맥자유 언어를 특징짓는다. 자유색인화(free-indexation)가 $L^2_{K,P}$에서 정의 가능하지 않다는 점을 보여, 이것이 문맥자유 문법으로는 강제될 수 없음을 시사한다. 그러나 영어의 완전한 GB 계량은 이 논리에서 포괄 가능하며, 이는 허용되는 언어가 강력한 문맥자유임을 증명한다.

ABSTRACT

We introduce $L^2_{K,P}$, a monadic second-order language for reasoning about trees which characterizes the strongly Context-Free Languages in the sense that a set of finite trees is definable in $L^2_{K,P}$ iff it is (modulo a projection) a Local Set---the set of derivation trees generated by a CFG. This provides a flexible approach to establishing language-theoretic complexity results for formalisms that are based on systems of well-formedness constraints on trees. We demonstrate this technique by sketching two such results for Government and Binding Theory. First, we show that {\em free-indexation\/}, the mechanism assumed to mediate a variety of agreement and binding relationships in GB, is not definable in $L^2_{K,P}$ and therefore not enforcible by CFGs. Second, we show how, in spite of this limitation, a reasonably complete GB account of English can be defined in $L^2_{K,P}$. Consequently, the language licensed by that account is strongly context-free. We illustrate some of the issues involved in establishing this result by looking at the definition, in $L^2_{K,P}$, of chains. The limitations of this definition provide some insight into the types of natural linguistic principles that correspond to higher levels of language complexity. We close with some speculation on the possible significance of these results for generative linguistics.

연구 동기 및 목표

• 트리 제약 조건에 기반한 문법 형식의 서술 복잡도를 분석하기 위한 공식적 프레임워크를 수립하기 위해.
• Government and Binding(GB) 이론의 핵심 메커니즘, 특히 자유색인화가 $L^2_{K,P}$에서의 정의 가능성에 의해 문맥자유 문법으로 포괄될 수 있는지 조사하기 위해.
• 영어 문법의 종합적인 GB 계량이 $L^2_{K,P}$에 표현될 수 있는지 확인하여, 그것이 강력한 문맥자유임을 입증하기 위해.
• 연결(chain)과 같은 언어 현상 정의의 한계를 밝혀내어, 더 높은 수준의 언어 복잡도를 이해하는 데 기여하기 위해.

제안 방법

• $L^2_{K,P}$를 도입하며, 노드 레이블과 부모-자식 관계를 위한 기호를 갖는 유한 트리 위의 단항 이阶논리이다.
• $L^2_{K,P}$에서의 정의 가능성에 의해, 투영 모odulo 하에서 정의 가능한 언어가 강력한 문맥자유 언어임을 특징짓는다.
• GB의 문법적 제약, 특히 연결과 색인화를 통한 결합 및 묶음에 대해 논리를 적용한다.
• 논리적 감소 기법을 활용하여 자유색인화가 $L^2_{K,P}$에서 표현될 수 없음을 보이며, 이는 CFG가 이를 강제할 수 없음을 시사한다.
• $L^2_{K,P}$에서 연결을 정의하는 프레임워크를 구축하여 표현력의 한계를 보여준다.
• 자유색인화에 대한 제약가 존재하나, 영어에 대한 완전한 GB 문법이 $L^2_{K,P}$에 인코딩될 수 있음을 입증한다.

실험 결과

연구 질문

• RQ1 GB 이론에서 자유색인화 메커니즘이 $L^2_{K,P}$의 표현력 내에서 정의 가능할 수 있는가?
• RQ2 영어에 대한 GB 문법이 생성하는 유도 트리 집합이 $L^2_{K,P}$에서 정의 가능할 수 있는가?
• RQ3 $L^2_{K,P}$에서 연결과 같은 핵심 GB 개념을 표현할 수 있는 한계는 무엇인가?
• RQ4 $L^2_{K,P}$에서 문법 형식의 정의 가능성은 생성 언어가 강력한 문맥자유임을 의미하는가?
• RQ5 $L^2_{K,P}$의 표현력 한계는 생성 문법의 언어 복잡도에 대해 어떤 통찰을 제공하는가?

주요 결과

• GB 이론에서 자유색인화는 $L^2_{K,P}$에서 정의 가능하지 않으며, 이는 문맥자유 문법으로는 강제될 수 없음을 시사한다.
• 영어 문법의 완전한 GB 계량은 $L^2_{K,P}$에서 정의 가능하며, 이는 허용되는 언어가 강력한 문맥자유임을 의미한다.
• $L^2_{K,P}$에서 연결의 정의는 제한되어 있으며, 이는 일부 언어 원칙이 트리 위의 단항 이阶논리의 표현력 초월임을 드러낸다.
• $L^2_{K,P}$ 논리는 투영 모odulo 하에서의 정의 가능성에 의해 강력한 문맥자유 언어를 특징짓는다.
• 자유색인화를 $L^2_{K,P}$에서 정의할 수 없다는 점은, 이러한 메커니즘이 문맥자유 수준을 초월한 더 높은 수준의 언어 복잡도가 필요함을 시사한다.
• 결과적으로, GB는 강력한 문맥자유를 포괄하는 논리로 형식화될 수 있지만, 그 일부 메커니즘은 CFG의 영역을 초월한다.