「弱文脈依存言語」の版間の差分

m
編集の要約なし
m
'''弱文脈依存文法''' (Mildly Context-sensitive Grammars) とは、 Joshi (1985) の提案した[[自然言語]]の理論に必要であろう特徴を持った[[形式文法]]の総称概念で、そのような[[文法]]によって定義づけられる言語クラスが'''弱文脈依存言語''' (Mildly Context-sensitive Languages) である。
 
[[チョムスキー階層]]における[[文脈依存言語]]の中でも[[文脈自由言語]]に一番近い部分にあたり、[[Indexed Languages]] (IL) ほどは生成力がない。Joshi の[[木接合文法]] (TAG) の研究の中から生まれた概念だが、TAG以外にもこのクラスの言語を生成する文法が[[言語学]]および形式言語論において多数提案されている。また、形式言語・[[オートマトン]]論的な研究も進んでおり、Weir (1992) によって弱文脈依存言語の性質を持つ形式言語の階層 (Weir's Control Language Hierarchy) が対応するオートマトンと共に定義づけられている。
 
== 特徴 ==
# 弱文脈依存文法は特定の依存関係、入れ子状と限られた種類の交差、のみを捉える事が出来る。
# 弱文脈依存の言語は定数的増加 (constant growth) 特性を持つ。
弱文脈依存言語の研究の背景には、自然言語が文脈自由言語の性質を多く持つにも関わらず、その弱生成力が文脈自由文法を超えるケースがある事がある。上記の下3点はその文脈自由の持つ性質を一般化若干拡張したものとも言える。
 
== 弱文脈依存な文法フレームワーク ==
=== Control Language Hierarchy の Level 2 言語クラス ===
下記の4つの弱文脈依存文法は同じ弱生成力を持つ事が証明されている (Joshi et al 1994):
* [[木接合文法]] (TAG) – Aravind Joshi
* [[w:en:Combinatory categorial grammar | Combinatory Categorial Grammar]] (CCG) – Mark Steedman
* Head Grammars (HG) – Carl Pollard
* Linear Indexed Grammar (LIG) – Gerald Gazdar
これらの文法の生成力は Weir の Control Language Hierarchy の Level 2 言語クラスに対応する。なお CLH の Level 1 は文脈自由言語であり、この4つのフレームワークが共有する言語クラスは弱文脈依存文法の中生成力が一番弱い方にあたる。このクラスの言語は <math> \{ a^n b^n c^n : n \ge 0 \} </math> や <math> \{ a^n b^n c^n d^n : n \ge 0 \} </math> の文字列を生成する事が出来る。対応するオートマトンは Embedded Pushdown Automaton (EPDA) である。
この4つフレームワークのうち、特に木接合文法とCCGはこれらをそれぞれ用いまとまった言語学的研究がなされている。([http://www.cis.upenn.edu/~xtag/], [http://groups.inf.ed.ac.uk/ccg/publications.html]など)
 
== Reference ==
 
 
{{DEFAULTSORT:じゃくぶんみゃくいんげんご}}
[[Category:形式言語]]
[[Category:文法]]
309

回編集