Up 2.4.2 変形  

　記号列 α,β∈(TＶ∪ＶD)* において，つぎの (*),(#) のいずれかが成り立つことを，


で表わし，“αはβに直接変形可能である”と読む：

(#) Ｄの一つの要素をプロダクションとして，αからβが直接導かれる：


(*) 記号列φ,ψ∈(TＶ∪ＶD)*で，つぎの条件を満たすものが存在する：
(1) Ｄの一つの要素をプロダクションとして，φからψが直接導かれる：

(2)α，βは，同一の代入枠の上で，それぞれφ，ψから代入で導かれる



そして，Gの文α，βに対し，記号列

α1,α2,････,αn ∈(TＶ∪ＶD)*

が存在して

となるとき，βはαを変形して得られると言い，

と表わす。