Up
2.7.2 文生成変形システムの強弱
二つの文生成変形システム
T
1
,
T
2
において，
T
1
で生成される文が
T
2
でも生成され，
T
1
での文変形が
T
2
でも実現されるとき，
T
1
は
T
2
よりも弱い（
T
2
は
T
1
よりも強い）と言い，
T
1
≦
T
2
で表わす。
このとき,“
T
1
≦
T
2
かつ
T
2
≦
T
1
”は，文生成変形システムの間の同値関係になるが，これを
T
1
〜
T
2
と表わす。