短語(yǔ)詞組短語(yǔ)formalized computer [計(jì)]形式化計(jì)算機(jī);形式化計(jì)算器formalized model 形式化模型formalized verification 形式化騐証a formalized 形式化formalized method 形式化方法formalized knowledge 形式化知識(shí)Formalized education 形式化教育Formalized Analysis 形式化分析Formalized Process 正式過(guò)程中 返回 formalized