Up | 2.3.1 シェマシステム |
文のシェマは,文生成システムGに対するもう一つの文生成システムGが生成する文と解される。
しかし,G自身は,それの生成する文をGの文のシェマと身分づけるものにはなり得ない。“Gの文のシェマを生成するシステム”──簡単に,“Gの上のシェマシステム”──は,Gのほかに,シェマから文を導く“代入”を実現する装置を備えているものでなければならない。 われわれは,文変形
をつぎのように考えることにする:
ここで〈代入〉は,“記号列の直接代入”に限定されない。実際,“代入”が有限個の代入規則で述べられるためには,“代入”はより拡張された形で定式化されていなければならない(Cf.§6.3.4)。 “代入”のこの定式化をつぎに述べる。 |