【词语】
形式化方法
【全拼】
xínɡ shì huà fānɡ fǎ
【释义】
把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系，导致新发现。
【例句】
1、串空间(Strand Space)模型是由Fabrega、Herzog和Guttman三人提出的一种形式化方法,它使用一种结点间存在因果关系的有向图来表示协议的运行。
2、 文章讨论处于计算机时代的结构主义语言学并介绍词汇语法方法论上的新考虑，探索编纂汉语电子词典形式化的新途径。
3、 形式化方法
4、 首先分析了生产流程和管理流程的特点,给出了协同过程模型的形式化定义,最后用一个例子说明该方法与现有过程建模方法的差异。