用线性式对这种组合模式进行重写并把它称作短语结构规则或重写规则。
Phrase structural rules: The combinational pattern in a linear formula may be called a phrase structural rule or rewrite rule.
用线性式对这种组合模式进行重写并把它称作短语结构规则或重写规则。
Phrase structural rules: The combinational pattern in a linear formula may be called a phrase structural rule or rewrite rule.
应用推荐