?形式的首项系数

... formal language theory ==> 形式语言理论 formal leading coefficient ==> 形式的首项系数 formal logic ==> 形式逻辑=>形式论理 ...