基本解釋形式化計算機詞組短語短語formalized computer detail 形式化計算機formalized computer program [計]形式化計算機程序;形式化計算機程序英語;繙譯;形式化計算機程序formalized computer更多詞組專業(yè)釋義計算機科學技術形式化計算機形式化計算器