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