形式化

也称“形式化表达”。指采用专用符号作语法描写。与“非形式化”相对。如“给我一本书”： 用形式化表达，则可记作“VO1VO₂”，其中V（动词）、O1 （近宾语）、O₂ （远宾语） 都是专用符号；用非形式化表达，则只能采用自然语言作出描写： 动词带双宾语的结构。传统语法多只作非形式化描写，而一些现代语法 (如转换生成语、蒙塔古语法等)往往采用形式化表达。形式化表达一般借用数学或逻辑学的符号和公式。

形式化

一种用形式语言构造形式系统的方法。包括四个步骤：给出初始符号，所构造的系统中只出现这些符号；给出形成规则，初始符号依据形成规则构成系统内的公式；给出公理，即系统内不经证明就加断定的公式；给出推理规则，规定公式间的推导只有哪些才被允许。形式化的处理使一个演绎系统变得更为严格。