基本解释形式化計算機词组短语短語formalized computer detail 形式化計算機formalized computer program [計]形式化計算機程序;形式化計算機程序英語;繙譯;形式化計算機程序formalized computer更多词组专业释义計算機科學技術形式化計算機形式化計算器