形式语义学

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

相关

  • 干燥症干燥综合征,又名修格连氏综合征,或者舍格伦综合征。该病的英文名称为Sjögren's syndrome(发音为/ˈʃoʊɡrənz/,又称为Mikulicz disease及Sicca syndrome,是一种长期的自身免
  • 活体组织切片活体组织切片(biopsy),从动物或人类身上取下少量活组织作病理学诊断的一种检查方法。活检对肿瘤的临床诊断有重要意义,不仅可以确定其组织分类,还可确定其良性或恶性,为治疗提供依
  • 发霉霉菌是非分类学名词,是对菌丝体发达,而又不产生大型肉质子实体的丝状真菌的俗称。霉菌的菌丝呈长管、分枝状,无横隔壁,具多个细胞核,并会聚成菌丝体。霉菌常用孢子的颜色来称呼,如
  • 斯泰茨伯勒斯泰茨伯勒({{lang-en|Statesboro)是美国佐治亚州布洛克县的县治,也是该县的最大城市。根据2010年美国人口普查,斯泰茨伯勒人口数量为28,422人。斯泰茨伯勒是斯泰茨伯勒小都市统
  • .mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
  • 肝门静脉肝门静脉是一条从胃、脾脏、胰脏、小肠流至肝脏的静脉。肝门静脉由接受来自胆囊、膀胱和体壁血液的腹大静脉,和接受来自大肠小肠、脾脏、胃和胰脏血液中位于肠系膜中的肝门静
  • 解放犹太解放运动(英语:Jewish emancipation)是欧洲犹太人权利自18世纪起从外在和内在同时争取的这一进程。包括同等公民权利的认定,以及个人公民身份的授予等。成果来自于社区内的
  • 英语国家下列是一个以英语作为官方语言的国家和领土的目录,按人口次序排列。一些国家像加拿大和菲律宾一样使用英语作为官方语言,但不是国家中唯一的官方语言。在澳大利亚,英语只是实际
  • 俗语俗语就是惯用语,指约定俗成,广泛流行于某时某地的口语。从广义来看,俗语包括谚语、歇后语(引注语)、常用的成语,但不包括并不通俗和古雅书面语中的成语,或名著中的名言警句;从狭义来
  • 计算机科学计算机科学(英语:computer science,有时缩写为CS)是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现(英语:implementation)与应用的实用技术的学科。 它通常被形容