生成文法では、専門用語の演算子は、 a-bar移動依存関係に入るタイプの式を表します。[ 1 ] [ 2 ] [ 3 ]演算子は「変数を束縛する」とよく言われます。[ 4 ]
演算子は、疑問詞(「which」、「who」、「when」など)や数量詞(「every」、「some」、「most」、「no」など)のような限定詞であることが多いが、文否定(「not」)のような副詞も演算子として扱われてきた。[ 5 ]また、生成文法では、節のタイプや構造が、抽出島への感受性など、a-bar移動依存性の存在を示す兆候を示す場合、音韻的に空の演算子を仮定することも一般的である。[ 1 ] [ 2 ] [ 4 ] [ 6 ]
以下の例は、生成文法理論における「演算子」という用語の使用法を示している。
以下の例は、いわゆる「wh移動」の一例です。
ここで「what」は演算子であり、ここでは「__」と表記される音的に空の「変数」を束縛します。
構文と意味のインターフェースの生成モデルでは、量化子は構造内のより高い位置に移動し、痕跡を残してそれを結合する必要があります。この移動によって発話された語順が変わらない場合、それは「隠れた」移動であると言われます。[ 7 ] この隠れた量化子上昇(QR )のプロセスは、次の例のようにスコープの曖昧さを生み出す可能性があります。
この文は、「私は何もしていない」という解釈と、「私がしていないことがある」という解釈の間で曖昧です。後者の解釈では、生成文法では次のように文を表します(無関係な詳細は省略します)。[ 7 ]
ここで、「x」は変数であり、「何かx」はその変数を束縛する演算子です。
以下は、生成文法において、見えない演算子が見えない変数を束縛するという観点から扱われる例です。[ 1 ] [ 4 ]
この文の関連する側面は以下のとおりです。
ここで、「Op x」は空演算子であり、「x」はその演算子によって束縛される変数で、動詞「please」の目的語として機能します。このような文で空演算子と変数の依存関係を想定する理由の一つは、抽出アイランドに対する感度を示すことです。たとえば、同様の例を作成しようとする次の試みは、文法的に誤った文になります。文の理論的な表現はすぐ下に記載されていますが、[ 2 ]ここでも、無関係な詳細は省略されています。
ここで、「whether」はa-bar移動のための島を作り出します。これは、演算子 Op x がその変数「x」を束縛できないことを意味し、これが文が文法的に正しくない理由だと考えられています。この理論的な実装の 1 つは「相対化最小性」と呼ばれています。[ 6 ] 大まかに言うと、特定の種類の変数は、同じ種類の最も近い利用可能な演算子によって束縛されなければならないということです。(6,7) では、「x」は「Op x 」によって束縛できません。なぜなら、「Op x 」と同じ種類のより近い演算子「whether」があるからです。[ 6 ]表現 (5) を持つ文 (4) は、その文の依存関係をブロックする「Op x 」と「x」の間に介在する演算子がないため、文法的に許容されます。