用比较、变换的方法提出一个新的语法系统，依据同义的标准把句子分为五大类；介词格类，非控格类，状态存在句类，异形句类，对每一大类先分别进行比较，找出同义句同义成分的形式特征及差异，然后用变换公式作形式化的描写。