[单选]  ()是由合适公式W1和W1→W2产生合适公式W2的运算。