1) formula translator language
公式变换语言
2) formula transformation; formula translation; formula translator; ,FORTRAN
公式交换语言
3) Language equivalent transformation
语言变换
4) formulaic language
公式语言
5) speech converter
言语变换器
6) offhand Multi-language switching
多语言变换
补充资料：公式
公式
formula
公式[伽丽词匕;中opMy月a} 形式化语言(fol们llb双划langi‘ge)中的一个句子(可能带有参数).在几种专有的形式化语言中公式概念的精确定义可见公理集合论(axl0Inatic Set thoory)，形式算术(a月thn犯tic，fon了以1)，谓词演算(p代过i以te口Ic山LIS)，类型论(ty娜，tl袱〕ryof).在数学的实践中，公式也有语义的意义.它们可能是名字、命题的形式、定义的缩写等等.B.H.r钾也“撰卢景波译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条