基本解释形式化计算机词组短语短语formalized computer detail 形式化计算机formalized computer program [计]形式化计算机程序;形式化计算机程序英语;翻译;形式化计算机程序formalized computer更多词组专业释义计算机科学技术形式化计算机形式化计算器