首页 >
形式语义学
✍ dations ◷ 2025-10-28 20:27:05 #形式语义学
在计算理论中,形式语义学是关注计算的模式和程序设计语言的含义的严格的数学研究的领域。语言的形式语义是用数学模型去表达该语言描述的可能的计算来给出的。形式语义学(formal semantics),是程序设计理论的组成部分,以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义,使语义形式化的学科。提供程序设计语言的形式语义的方法很多,其中主要类别有:
相关
- 人类呼吸道合胞病毒人类呼吸道合胞病毒,又称呼吸道融合病毒,简称HRSV(Human Respiratory Syncytial Virus),为副黏液病毒科肺病毒属中型单链RNA病毒,分为A,B两型, A,B两型之主要差异在于病毒外膜表面
- 放射线疗法放射治疗(英语:Radiation therapy;或者叫电疗,与物理治疗中的电疗(英语:Electrotherapy)相异)是使用电离辐射作为治疗疾病的方式。与放射治疗有关的医学专业称为放射肿瘤学或放射治
- 物质物质具有科学上和哲学上的双重含义,详见下面。物质是一个科学上没有明确定义的词,一般是指静止质量不为零的东西。物质也常用来泛称所有组成可观测物体的成分 。所有可以用肉
- 自体免疫自身免疫(英语:autoimmunity)是指生物体针对自己身体的健康细胞和组织产生的免疫反应。任何由这种免疫异常反应造成的疾病称为自身免疫性疾病(英语:autoimmune disease)。著名的例
- 污水妥善处理率污水妥善处理率是一个城市对污水处理的能力,隐含一个城市的公共卫生、环保能力标准,其包含公共污水下水道用户接管户数、专用污水下水道接管户数及建筑物污水处理设施设置户数
- 塔巴南县塔巴南县(印尼语:Kabupaten Tabanan)是印度尼西亚巴厘省的一个县,位于巴厘岛中部,县治在塔巴南。2010年普查,全县有人口420,913人。塔巴南县下分为10个区(kecamatan),各区人口如下:
- 紫锥菊Brauneria Necker ex T.C.Porter & Britton Helichroa Raf.紫锥花属(Echinacea;发音: /ˌɛkᵻˈneɪʃiə/),又名紫锥菊属或松果菊属,是一种菊科的草本开花植物。原生于北美洲中
- 四足动物四足动物(英语:Quadrupedalism;源自拉丁文)是一类使用四支脚来运动的动物。大多数在陆地上行走的动物都属于四足动物,他们在分类上可能是哺乳类(例如马与猫)、爬虫类(例如蜥蜴)以及两
- 卡尔曼综合征卡尔曼综合征(英语:Kallmann syndrome)是一种罕见的遗传性疾病,其特点患者是无法进入青春期或青春期发育不完全。该疾病也伴随着嗅觉丧失或嗅觉减退。此种疾病男女皆可发病,但多
- 全角·半角全角和半角,是计算机中,中、日、韩文的CJKV字符的显示格式。传统上,英语或拉丁字母语言使用的电脑系统,每一个字母或符号,都是使用一字节的空间(一字节由8比特组成,共256个编码空间
