短語詞組短語formalized computer [計]形式化計算機;形式化計算器formalized model 形式化模型formalized verification 形式化驗證a formalized 形式化formalized method 形式化方法formalized knowledge 形式化知識Formalized education 形式化教育Formalized Analysis 形式化分析Formalized Process 正式過程中 返回 formalized