Up 3.2.1 テクスト生成システム  

　文生成システム
G＝(NＶ,TＶ,Ｐ,SEN(註1))

に対し，“Gの上のテクスト生成システム”と呼ばれる文生成システム

G#＝(NＶ#,TＶ#,Ｐ#,TXT(註2))

を，つぎのように定義する(註3)：
  1. NＶ#＝NＶ∪{TXT}
  2. TＶ#＝TＶ∪{txt，1，＾}
  3. Ｐ#は，Ｐに
    TXT→TXT＾SEN
    TXT→SEN
    TXT→TXT1
    TXT→txt
    を追加したもの。

　G#から生成される文は，Gの文を記号＾で連結した形をしている。G#の文をGの上のテクストと呼ぶ。また，＾で連結されている各文を，テクストの句と呼ぶ。


（註１）‘SEN' は,‘SENtence'。

（註２）‘TXT' は,‘TeXT'。

（註３） G#はGによって決定するので，以下，理論の記述においてはそれの明示を適宜省略する。