形式化

形式化（formalization），语言学名词，转换生成语法使用的一种方法。即理论或规则都用形式逻辑或者数学语言清晰明确地阐释出来。