素性構造のソースを表示

{{言語学}}
'''素性構造'''（そせいこうぞう、{{lang-en-short|Feature structure}}）とは、[[一般化句構造文法]]、[[主辞駆動句構造文法]]、[[語彙機能文法]]といった[[形式文法]]において、属性（素性）と値の対の集合を意味する。例えば、「[[数 (文法)|数]]」という属性には「単数形」という値が対応する。属性値は不可分（[[LISP]]のアトムのようなもの、前述の「単数形」というシンボルなど）なものと、構造を持つもの（より一般的であり、素性構造のリストや集合である）がある。

素性構造は有向非環状[[グラフ (データ構造)|グラフ]] (DAG) で表すことができ、ノードが値に対応し、そのノードまでの経路が属性名（素性）に対応する。素性構造に対して定義されている操作（例えば[[ユニフィケーション]]）は句構造文法でよく使われる。多くの理論（例えば[[主辞駆動句構造文法|HPSG]]）では厳密に言えば、それら操作は素性構造を記述している式に対して定義されるものであって、素性構造そのものに対するものではない。しかし、大雑把な説明では単に素性構造の操作とされる。

素性構造は例えば次のように書かれる。

<math>\begin{bmatrix} \mbox{category} & noun\ phrase\\ \mbox{agreement} & \begin{bmatrix} \mbox{number} & singular \\ \mbox{person} & third \end{bmatrix} \end{bmatrix}</math>

この例では2つの素性（feature）、''category'' と ''agreement'' がある。''category'' の値は ''noun phrase''（名詞句）、''agreement'' の値は別の素性構造になっており、素性 ''number'' と ''person'' のそれぞれの値が ''singular''（単数形）と ''third''（三人称）になっている。このような記法を「属性値行列（attribute value matrix、AVM）」と呼ぶ。属性値[[行列]]には2つの列があり、1つ目は素性名、もう一方が値である。従って、素性構造はキーと値の対のリストと見ることもできる。値は不可分な場合と別の素性構造になっている場合がある。そこで、別の記法として[[木構造 (データ構造)|木構造]]で素性構造を記述することもできる。実際、システムによっては素性構造を[[S式]]で表している（例えば[http://www.sil.org/pcpatr/manual/pcpatr.html PC-PATR]）。

{{DEFAULTSORT:そせいこうそう}}
[[Category:文法]]
[[Category:形式言語]]
{{Language-stub}}