一、形式化定义是指一个词语或者是句子，它的意思就只能是作者下定的意思。
1、不管别人怎么理解，它的意思都是不变的，只能是作者原本的那个意思。
2、比如语文课本上的文言文，里面的现代词语就是跟现代词语是不一样的意思。
例如：知道的道，在一篇文言文里也许就是通假字，有另外的意思，但意思是跟现代里的知道里的道的意思是不相同的。
二、描述性定义跟规定性定义是不一样的。
1、规定性定义是指一个词语只能是它规定的那个意思，不管被理解成什么，它的意思都是不变的。
2、但是描述性定义是指对一个词语进行的描述。比如：世纪教育是什么，对它进行的描述就是描述性定义。
计算机科学和软件工程领域编辑
形式化方法是基于数学的特种技术,适合于软件和硬件系统的描述、开发和验证.将形式化方法用于软件和硬件设计,是期望能够像其它工程学科一样,使用适当的数学分析以提高设计的可靠性和鲁棒性.但是,由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统.
2逻辑科学编辑
形式化是指分析、研究思维形式结构的方法.它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构.例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”.又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属的物理性质和化学性质与纯铝不相同;所以,它不是纯铝.”这个推理的形式结构是:“如果p,则q;如果p,则r;非q且非r;所以非p.”可进而形式化为下列公式:((p→q)∧(p→r)∧┐q∧┐r→┐p.
