Up
2.3.6 シェマシステムの定義
以上の準備の下に，シェマシステムを以下のように定義する。
即ち，文生成システム
G
＝(
N
Ｖ,
T
Ｖ,Ｐ,Ｓ) の上のシェマシステムとは，つぎのようなシステム
S
＝(
G
,σ,
R
)
のことである：
G
は，“シェマ生成システム”と解釈される文生成システム
(
N
Ｖ
,
T
Ｖ
,
Ｐ
,
Ｓ
)
(註)
．
で，Ｖ＝
N
Ｖ∪
T
Ｖ，
Ｖ
＝
N
Ｖ
∪
T
Ｖ
とおくとき，
Ｖ
∩Ｖ＝
T
Ｖ
∩
T
Ｖ＝
T
Ｖ
σは，シェマ関数と呼ばれる，
N
Ｖ
の部分で定義され
N
Ｖ
に値をもつ関数。
R
は，シェマ代入規則。
（註）
T
Ｖ
は，シェマの記述で使用している記号を明示したものである。