形式语义学

✍ dations ◷ 2025-08-29 04:39:04 #形式语义学
在计算理论中,形式语义学是关注计算的模式和程序设计语言的含义的严格的数学研究的领域。语言的形式语义是用数学模型去表达该语言描述的可能的计算来给出的。形式语义学(formal semantics),是程序设计理论的组成部分,以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义,使语义形式化的学科。提供程序设计语言的形式语义的方法很多,其中主要类别有:

相关

  • 小村寿太郎小村寿太郎(1855年10月26日-1911年11月26日)是日本明治时代的外交官。曾任外务大臣。安政2年(1855年)9月16日,日向国饫肥藩(宫崎县日南市)出生。明治3年(1870年),大学南校(东京大学前身)
  • 黄热病黄热病(法语:la fièvre jaune ; 英语:Yellow Fever, Yellow Jack, Yellow Plague,俗称黄杰克、黑呕,有时又称美洲瘟疫)是一种急性病毒病。症状通常包括发烧、冷颤、食欲下降、恶
  • 整合分析统计学上来说,元分析(meta-analysis,或译作后设分析、整合分析、综合分析、统合分析、荟萃分析)是指将多个研究结果整合在一起的统计方法。就用途而言,它是文献回顾的新方法。文
  • 心绞痛心绞痛又称为狭心症(Angina pectoris),是心肌缺血引起的胸痛,一般是由冠状动脉阻塞或痉挛所导致。冠状动脉疾病是心血管的动脉粥样硬化,为心绞痛的主要原因。心绞痛的原文“angin
  • 前列腺增生良性前列腺增生症(英语:Benign Prostatic Hyperplasia,缩写BPH),俗称前列腺肥大症或前列腺肥大,以前列腺中叶增生为实质改变而引起的一组综合征,良性前列腺增生症是属于男性常见的
  • 胎盘胎盘(学名:placenta),又称“胞衣”,是一种只有在雌性哺乳类动物怀孕时或是每一只哺乳类动物还是胎儿时才有的暂时器官,位于子宫内侧的表面。胎盘由两部分组成。一部分和胚胎在生物
  • 沸点沸点是指物质沸腾时的温度,更严格的定义是液体成为气体的温度。液体在未达到沸点温度时也会通过挥发变成气体。然而,挥发是一种液体表面的现象,也就是说只有液体表面的分子才会
  • 特发性(原发性)高血压原发性高血压(英语:Essential hypertension或Primary hypertension)又称特发性高血压(英语:Idiopathic hypertension)是指一种不具有可识别的原因的高血压形式。它是最常见的高血
  • 花粉粒花粉(pollen)是种子植物的微小孢子堆,成熟的花粉粒实为其小配子体,能产生雄性配子。花粉由雄蕊中的花药产生,由各种方法到达雌蕊,使胚珠授粉。花粉通常是对称的,多为球形;大叶藻(Zost
  • 元音附标文字元音附标文字(英语:abugida,出自吉兹字母中的四个字母ሀቡጊደ),又称音素音节文字(英语:alphasyllabary),是一类以辅音字母为主体、元音以附加符号形式标出的表音文字。该书写系统的