形式语义学

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

相关

  • 无壁菌门柔膜细菌目(英语:Mollicutes)软壁菌门(Tenericutes),又译作无壁菌门,是细菌界下的一个门。该门下有一个纲,即柔膜细菌纲(英语:Mollicutes)(Mollicutes)。该门命名于1984年。该门下的典型
  • 异养异营生物(英语:heterotroph)指不能直接以无机物或有机物,必须摄取现成的养分来维持生存机能的生物。异营生物包括捕食、寄生和腐生三种。 异营性动物细胞需要的物质为水和矿物质
  • 分子克隆分子克隆(英语:Molecular cloning,又译分子纯化繁殖),而克隆英文字面上的意思,其实就是分子克隆,定义是指分离一个已知DNA序列,并以in vivo(活体内)方式获得许多复制品的过程。这一复
  • 家族性淀粉样物多发性神经病变家族性淀粉样物多发性神经病变(英文:Familial amyloid polyneuropathy,简称FAP)是一种染色体显性遗传病,是致命且无法根治的神经病变,由葡萄牙神经学家Corino da Costa Andrade于1
  • 输血输血是一种治疗措施,可算是一种支持性与代偿性的疗法。出现场合包括了外科手术备血以防术中失血过多、严重贫血等等。输血可以针对不同血液成分(或称“血品”)进行输入,包括了全
  • 永福省永福省电子信息门户网站永福省(越南语:Tỉnh Vĩnh Phúc/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B",
  • 男性男性,是指雄性的人类,与雌性人类即女性相对。男性这个名词是用来表示生物学上的性别划分,正式只适用于称呼人类,但有时侯也会用作称呼其他生物,同时亦可指文化上的性别角色。和其
  • 语言变体语言变体(英语:Language Variety),是指语言在系统和在条理上相互区分的各种形式。而方言是散文风格、语言风格更广泛的概念。从不同角度定义的方言:
  • Wiktionary维基词典(英语:Wiktionary),是维基百科的姊妹工程,它的目标是创建一个基于所有语言的自由的词典。该项目于2002年12月12日启动,发起人是维基人Daniel Alston。维基词典旨在收录字
  • 无衬线体无衬线体(英语:sans-serif)指没有衬线的字体,与衬线字体相反,完全抛弃装饰衬线,只剩下主干,造型简明有力,更具现代感,起源也很晚。适用于标题、广告,瞬间的识别性高。在汉字等东亚字体