形式语义学

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

相关

  • 声门声门(glottis)是两瓣声带之间的开口。在言语发生中,以声带的振动作为声音源的音称为浊音。声门是肺部压出的空气通过声带的出口。发生过程中牵涉到声门的音素称为声门音。声门
  • 高密度脂蛋白高密度脂蛋白(英语:High-density lipoprotein,又称为HDL)是脂蛋白的一种,是由蛋白质和脂质组成的大分子复合物。高密度脂蛋白有不同的种类,它们的形状,大小,密度,蛋白质和脂质成分以
  • 同物异名异名(英语:synonyms)或称同物异名,在生物分类学上,是表示用来指称同一分类单元(taxon)的不同命名,此用词在动物学与植物学上的用法不甚相同。在动物命名上,异名是指用来表示同一个分
  • 中大西洋区中大西洋州份(英语:Mid-Atlantic), 通常是指美国境内的在新英格兰和美国南大西洋地区之间的地区。根据不同来源,有不同的定义,它一般包括纽约州、新泽西州、宾夕法尼亚州、特拉华
  • 囊泡藻界囊泡藻界(学名:Chromalveolata)是一类真核生物。囊泡藻界这个概念是汤玛斯·卡弗利尔-史密斯1981年提出的色藻界的修订。表示双鞭毛生物与红藻发生单独的内共生后进化出的所有
  • CONORCONOR是斯洛文尼亚对COBISS系统中个人和公司名称的规范控制,该系统启动于2003年。CONOR记录作者的个人姓名及相关变量、标签、注释等信息,这些信息在整个系统中被唯一指定。目
  • 美耐皿三聚氰胺-甲醛树脂(英语:Melamine resin),俗称美耐皿,是一种合成树脂,为热固性聚合物,为使用三聚氰胺(Melamine,又称蜜胺或密胺)与甲醛聚合所制成,与以尿素与甲醛制成的“尿素-甲醛树脂
  • 溃疡性结肠炎溃疡性结肠炎(英语:ulcerative colitis,缩写作 UC),也称非特异性溃疡性结肠炎是一种会导致结肠与直肠发炎与溃疡的慢性疾病。其发作时的主要症状包括腹痛与伴有血便的腹泻,体重减
  • 创造性创造性可以指:
  • 电子词典电子词典(英语:electronic dictionary,或称电子辞(字)典、字典机与翻译机),是一种类似个人数码助理(PDA)的手持电子设备,以查词典和英语学习为主要功能。同时也兼具一些辅助工作和娱乐