形式语义学

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

相关

  • 白细胞介素白细胞介素或介白素(interleukin)是一组细胞因子(分泌的信号分子)。最早发现在白细胞中表达作为细胞间信号传递的手段。实际上,白细胞介素可以由多种细胞产生。免疫系统的功能,在
  • 维和行动这是一个有关于联合国自1945年成立以来的历次维持和平行动(简称维和行动)的详细情况列表。该列表详细叙述了历次维持和平行动的时间、行动名称、维持和平行动所在的国家或地区
  • 教育可视化可视化是指用于创建图形、图像或动画,以便交流沟通讯息的任何技术和方法。在历史上包括洞穴壁画、埃及象形文字等,如今可视化有不断扩大的应用领域,如科学教育、工程、互动多媒
  • 胶囊胶囊剂以可溶性明胶作为包覆材料的囊状药剂,可避免口服时,药物与味觉器官直接接触引发恶心反应。请阅读硬胶囊请阅读软胶囊
  • 日本水污染日本四大公害病(日语:公害病/こうがいびょう Kōgaibyō */?;“公害”即污染)指的是日本在高度经济发展期,由产业活动所排出的有害物质而引起的疾病。被列举出的有因大气污染所
  • 情态情态(modality)是一个语法学术语,是用来体现说话者对其所言的主观态度的句法语义范畴。本来,句子是表达说话者的所知、看法或要求的,而情态则是为了表达说话者主观上认为自己的
  • 重度抑郁重性抑郁疾患(英语:Major depressive disorder,缩写MDD),也可简称为抑郁症,是一种精神疾患,特征为超过两周的大多数时间都抑郁不已。常常伴随着没有精神、对一般休闲活动没有兴趣、
  • 毒蜥毒蜥属(Heloderma)是毒蜥科下的唯一属,包含了分布在美国西南部、墨西哥及南至危地马拉有毒的蜥蜴。其下有2个物种及6个亚种。它们的近亲是蛇蜥科。毒蜥属的体型很大及粗壮,行动
  • 石棉沉滞症石绵沉滞症也称为石绵肺,是一种石绵纤维造成肺长期发炎及纤维化留疤(英语:Pulmonary fibrosis)的病症,症状有呼吸困难、咳嗽、喘鸣和胸痛,可能带来的并发症有肺癌、间皮瘤和肺性心
  • Anterior ethmoidal前筛神经(anterior ethmoidal nerve)为支配鼻腔感觉的神经。该神经源自于鼻睫神经(英语:nasociliary nerve),为三叉神经眼分支的其中一条分支。鼻睫神经在分支出四个分支(由起点到