短语词组短語formalized computer detail 形式化計算機formalized computer program [計]形式化計算機程序;形式化計算機程序英語;繙譯;形式化計算機程序 返回 formalized computer