形式语义学

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

相关

  • 字位字位(字形、字素,英语:grapheme)这个术语,是由语音学里的“音位”(音素)类推到文字学的。在拼音文字系统当中,“字位”是最小且数量最少的区别性单位。“字位”是一个抽象单位。例如
  • 甲亢性周期性麻痹1甲状腺毒性周期性麻痹症(英语:Thyrotoxic periodic paralysis,简称TPP)是一种因甲状腺机能亢进引起的病况,特征是病发时会有肌肉无力(英语:Muscle weakness)的症状。症状发作时一般
  • 溶血性尿毒综合征溶血性尿毒综合征(英语:Hemolytic-uremic syndrome, HUS)是一种由于溶血性贫血(Hemolytic anemia)而引发的急性肾损伤(Acute kidney injury)和血小板数量下降综合征。病因不明,发病
  • 16S rRNA16S核糖体RNA(16S ribosomal RNA),简称16S rRNA,是原核生物的核糖体中30S亚基的组成部分。16S rRNA的长度约为1,542 nt。卡尔·乌斯和乔治·福克斯是率先在系统发育中使用的16S
  • 物态假设一个系统是由一种物质均匀组成,拥有均匀的物理与化学性质,则称这系统只具有一种相(英语:Phase)。这是一种简单的系统,称为均相系统(英语:homogeneous (chemistry))。更复杂的系统
  • 20,22-Desmolasen/an/an/an/an/an/an/an/an/an/a胆固醇侧链裂合酶(英语:Cholesterol side-chain cleavage enzyme,CYP11A1或P450scc,其中“scc”是“side-chain 侧链”“cleavage 裂解”的缩写)
  • 冠状动脉旁路移植冠状动脉旁路移植(英语:Coronary artery bypass graft,常缩写为CABG)或心脏绕道手术,俗称冠脉搭桥或搭桥,即冠状动脉旁路移植术,是一项缓解心绞痛和减少冠心病死亡风险的手术。搭桥
  • 梭伦梭伦(希腊语:Σόλων,约前638年-前559年),生于古希腊城邦雅典,出身于没落的贵族,也有人认为他出生于中产阶级,是古代雅典的政治家、立法者、诗人,古希腊七贤之一。梭伦在前594年出
  • 生殖器疱疹生殖器疱疹,又称阴部疱疹或疱疹二型,可由单纯疱疹病毒第一型及第二型传染,但主要由“单纯疱疹二型病毒”引起,通常是与患者性交时传染得来的性病,潜伏期约五至六天。阴部疱疹主要
  • 工作贫穷工作贫穷(英语:Working poor),又称在职贫穷、穷忙族、薪贫族、勤劳贫困阶级、工作贫困阶级,是指拥有固定工作但相对贫穷(例如收入低于特定贫穷线)的人士。有别于失业者,他们虽然有得