文生成システムG＝(NＶ,TＶ,Ｐ,Ｓ) に対し，Gが生成する文の変形を定義するシステム──“Gの上の文変形システム”──を，つぎのようなシステム
(H,(S,D))
として定義する：
- Hは，Gの拡張でかつGと同値である文生成システム。
- Sは，Hの上のシェマシステム (H,σ,R)。
Hの終端記号の集合をTＶとする。
- D＝(ＶD,Ｄ) で，
- ＶDは，TＶと交わらない有限集合で，要素が“変形補助記号”と呼ばれる。
- Ｄは，(TＶ∪ＶD)*×(TＶ∪ＶD)* の部分集合で，要素が“変形規則”と呼ばれる。
|