formalization 形式化,儀禮化
formalization n : the act of making formal (as by stating formal rules governing classes of expressions) [syn: formalisation]