Up
5.1 理論の同型
二つの理論
T
i＝(
G
i
,
G
i
,
U
i
,
U
i
,
A
i
)
(註)
(i＝1,2)
が同型であることを，つぎのように定義する。
即ち，テクスト変形システム
(
G
#
i
,
G
#
i
,
U
#
i
) (i＝1,2)
の間の同型で，
文生成変形システム
(
G
i
,
G
i
,
U
i
) (i＝1,2)
の間の同型を導き，かつ
公理
A
1
，
A
2
の間の１対１対応を導く
ものがとれること。
（註） 理論 (
G
,
H
,
U
,
U
,
A
) において，
G
と
H
は同値な文生成システムなので，
G
は最初から
H
としてとられていると考えてよい。したがって，
G
＝
H
として一般性を失わない。