1.公式变换 (＝ formula transformation).
2.公式翻译,公式译码(资料处理) (＝ formula translation).
3.公式转换器,公式翻译程序 (＝ formula translator).