短语词组短语formalized computer detail 形式化计算机formalized computer program [计]形式化计算机程序;形式化计算机程序英语;翻译;形式化计算机程序 返回 formalized computer