formalization
名词 formalization:
the act of making formal (as by stating formal rules governing classes of expressions)
同义词:formalisation