パターン間の包含関係

パターン$P1$に適合する入力文の全てがパターン$P0$に適合する時，パターン$P1$はパターン$P0$に包含されると定義し， また，パターン$P0$を上位のパターン，パターン$P1$を下位のパターンと呼ぶ． 両者の関係を $P0 \supseteq P1$と表記する．

以下に包含関係にあるパターンの例を示す．

$P0$:

$N$1は[$N$2を]$VP$3。

$P1$:

私は$V$1。