Up
3.2.3 理論
文生成システム
G
の上の理論(論理体系)を，システム
T
＝(
G
,
H
,
U
,
U
)
として，以下のように定義する：
(
G
,
H
,
U
)，
U
＝(
S
,
D
) は，文生成変形システム：
(
G
#,
H
#,
U
)，
U
＝(
S
,
D
) は，テクスト生成変形システム：
S
は，
S
# の拡張：
S
＝(
H
,σ#,
R
)，
S
#＝(
H
#,σ#,
R
)
H
＝(
N
Ｖ
#,
T
Ｖ
#,
Ｐ
#,
TXT
)
H
#＝(
N
Ｖ
#,
T
Ｖ
#,
Ｐ
#,
TXT
)
D
＝(
Ｖ
D
,
Ｄ
)は，
D
#＝(Ｖ
D
,D#)の拡張。
G
の文シェマ（即ち，
SEN
から生成される
G
の記号列）αで，
ε→α
が
D
で定義される変形規則になるものは，“公理シェマ”と呼ばれる。
公理シェマをシェマとする
G
の文（即ち，代入によって公理シェマから導かれる
G
の文）を“公理”と呼ぶ。
D
で定義される変形規則は，理論
T
の推論規則と呼ばれる。
“公理シェマ”と
D
⊃
D
# の定義から，公理シェマαに対する
ε→α
txt→txt＾α
は推論規則である。