• 其他词汇： 公式化 教条化 国事访问 正式比赛

• 更多词汇： 写成公式 正式比赛 正式承认 公式处理编译器

• 其他词汇： 公式处理语言 公式调处语言 代数逻辑计算器 带有代数逻辑的计算器

• 更多词汇： 数学模型 数学模式 公式处理 公式处理编译器