>>333
意味不明です
(ct,x)を(ct',x')に移すルールがあります
(ct,vt)と(ct,ct)の然るべき変換先から、そのルールが満たすべき条件(の一部)を求めました
どこに不満があるのですか?