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