词语： 形式化方法
拼音： xíng shì huà fāng fǎ
注音： ㄒㄧㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
词语解释
◎把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系，导致新发现。
形式化方法的字义分解
形 拼音： xíng ；部首： 彡 ；总笔画： 7
形 [ xíng ] 1. 实体。 如： 形仪（体态仪表）。形体。形貌。形容。形骸。形单影只。形影相吊。 2. 样子。 如： 形状。形式。形态。形迹。地形。情形。 3. 表现。 如： 形诸笔墨。喜形于色。 4. 对照，比较。 如： 相形见绌。 5. 状况，地势。 如： 形势。 6. 古同“型”，模子。 7. 古同“刑”，刑罚。
式 拼音： shì ；部首： 弋 ；总笔画： 6
式 [ shì ] 1. 物体外形的样子。 如： 式样。样式。 2. 特定的规格。 如： 格式。程式。 3. 典礼，有特定内容的仪式。 如： 开幕式。阅兵式。 4. 自然科学中表明某些关系或规律的一组符号。 如： 分子式。算式。公式。 5. 一种语法范畴，表示说话者对所说事情的主观态度。 如： 叙述式。命令式。
化 拼音： huà,huā ；部首： 匕 ；总笔画： 4
化 [ huà ] 1. 性质或形态改变。 如： 变化。分化。僵化。教（jiào ）化。熔化。融化。潜移默化。化干弋为玉帛。。 2. 佛教、道教徒募集财物。 如： 化缘。化斋。 3. 用在名词或形容词后，表示转变成某种性质或状态。 如： 丑化。绿化。 4. 习俗，风气。 如： 有伤风化。 5. 特指“化学”。 如： 化工。化纤。化肥。 化 [ huā ] 1. 同“花”。
方 拼音： fāng ；部首： 方 ；总笔画： 4
方 [ fāng ] 1. 四个角都是90度直角的四边形或六个面都是方形的立体；正～形．长～形 2. 数学上指某数自乘的积。 如： 方根。平方。开方。 3. 人的品行端正。 如： 方正。方直。 4. 一边或一面。 如： 方向。方面。 5. 地区，地域。 如： 地方。方志。方言。方物。方圆。方隅（边疆）。方舆（指领域，亦指大地）。 6. 办法，做法，技巧。 如： 方式。方法。教导有方。贻笑大方。 7. 种，类。 如： 变幻无方。仪态万方。 8. 为治疗某种疾病而组合起来的若干种药物的名称、剂量和用法。 如： 药方。 9. 违背。 如： 方命。 10. 正在，正当。 如： 方今盛世。方兴未艾。 11. 才，刚刚。 如： 方才。如梦方醒。 12. 量词，多指一立方米。 如： 土石方。 13. 量词，用于方形的东西。 如： 几方石章。 14. 姓。
法 拼音： fǎ ；部首： 水 ；总笔画： 8
法 [ fǎ ] 1. 体现统治阶段的意志，国家制定和颁布的公民必须遵守的行为规则。 如： 法办。法典。法官。法规。法律。法令。法定。法场。法理。法纪。法盲。法人（“自然人”的对称。指依法成立并能以自己的名义独立参与民事活动，享有民事权利和承担法律义务的社会组织）。法制。法治。犯法。守法。合法。宪法（国家的根本大法）。政法。奉公守法。逍遥法外。 2. 处理事物的手段。 如： 办法。设法。手法。写法。 3. 仿效。 如： 效法。 4. 标准，规范，可仿效的。 如： 法式。法帖。 5. 佛家的道理。 如： 佛法。法号。法轮。法像。法门。 6. 道家佛家的所谓拿妖捉怪的技术。 如： 法师。法器。法事。 7. 指“法国”。 如： 法文。法式大菜。 8. 姓。