演员模型的指称语义

✍ dations ◷ 2025-09-19 08:23:58 #编程语言语义

演员模型的指称语义(Denotational semantics of the Actor model)是演员的指称域理论的研究主题。这个主题的历史发展参见指称语义的历史。

计算系统语义的指称理论关心找到表示系统作为的数学对象。这个理论利用了计算数学域。这种计算域的例子是偏函数和演员事件图场景。

关系 x≤y 意味着 x 可以计算演进为 y。如果指称是偏序函数,比如 f≤g 可以意味着 f 一致于 gf 在其上定义的所有值上。如果指称是演员事件图场景,x≤y 意味着满足 x 的系统可以演进到满足 y 的一个系统。

计算域有下列性质:

由系统 S 指示的数学指称通过构造从叫做 S 的空指称递增更好的逼近来找到 ,使用某个逼近定义函数 progressions(进步)如下这样构造 S 的指称(意义)的 :

期望 progressions 是单调的,就是说,如果 x≤yprogressions(x)≤progressions(y)。更一般的说,我们期望

最后陈述的 progressions 的性质叫做 ω-连续性。

指称语义的中心问题是刻画什么时候可能依据 Denotes 的等式建立指称(意义)。计算域理论的基本定理就是如果 progressions 是 ω-连续的,则 Denotes 存在。

progressions 的 ω-连续性得出

上述等式引出了术语 Denotesprogressions 的不动点。

进一步的,这个不动点是 progressions 的最小不动点。

在下节中给出函数式程序的指称语义作为不动点语义的例子。

考虑如下定义在所有数上的 factorial 函数:

factorialgraph 是定义了 factorial 的所有有序对的集合,有序对的第一个元素是参数而第二个元素是值,例如: graph(factorial) = {<n, factorial(n)>|n∈ω} = {<0,1>,<1,1>,<2,2>,<3,6>,<4,24>…}factorial 程序的指称(意义) Denotefactorial 被构造如下:

这里的

注意: progressionfactorial 是不动点算子(参见上节中的定义),它的最小不动点是 Denotefactorial,就是

还有 progressionfactorial 是 ω-连续的(参见上节中的定义)。

演员模型为得出 Dana Scott 的函数的指称语义(在前面章节关于 factorial 的例子所展示的)提供了基础,Carl Hewitt 和 Henry Baker 首次给出了定理证明:

如果一个演员 f 表现得如同数学函数,则 progressionf 是 Scott 连续函数,其最小不动点是

这里的

Hewitt 和 Baker 的论文在定义 immediate-descendantsf 时的缺陷由 Will Clinger 修正。

编程语言的指称语义的重要方面是复合性,通过它程序的指称可以从它的各个部分的指称来构造。例如,考虑表达式 "<expression1> + <expression2>"。在这种情况下复合性是依据 <expression1><expression2> 的意义而为 "<expression1> + <expression2>" 提供意义。

相关

  • 多孔动物门多孔动物门(学名:Porifera)为原始的多细胞生物,也称海绵动物门(Spongiatia或Spongia),一般称为海绵。海绵没有神经元/神经系统、消化和循环系统,相反,它们大多依靠海水流过自己的身体
  • 视神经乳头水肿视乳头水肿(英语:Papilledema)是最常见的视盘水肿,专指颅内高压所致的视盘水肿,绝大多数呈双侧性,但程度不一定相等,幕上肿瘤的肿瘤侧多较显著。青光眼及高度近视可影响视乳头水
  • 青年军索马里圣战者青年运动(索马里语:Xarakada Mujaahidiinta Alshabaab;阿拉伯语:حركة الشباب المجاهدين‎,Ḥarakat ash-Shabāb al-Mujāhidīn),通称青年党(阿拉
  • 功能结构域蛋白质结构域(英语:protein domain)是蛋白质中的一类结构单元,是构成蛋白质(三级)结构的基本单元。有些球形蛋白的一条肽链,或以共价键相连的两条或多条肽链在空间结构上可以区分为
  • 反锥体在几何学中,类锥体,又称类棱锥,是一种自身对偶多面体,并且包含有锥体与反柱体的点群。类锥体与锥体之关系可以算是反柱体与柱体之关系的一种类比。表示一个角锥反角柱锥体部分的
  • 林书炜林书炜(英文名:Claudia Lin,1975年12月20日-),台湾节目主持人,国立政治大学新闻研究所EMA,原新闻主播,现为电视节目主持人、作家。
  • 1994年被中华人民共和国处决的死刑犯列表1994年被中华人民共和国处决的死刑犯列表,旨在列出1994年被中华人民共和国处决的死刑犯。
  • 沃尔塔沃尔塔(马拉地语:वर्धा)是印度马哈拉施特拉邦的一座城市,人口约11万(2001年)。沃尔塔得名于流经该地区的沃尔塔河。坐标:20°45′00″N 78°37′00″E / 20.75°N 78.6167°E
  • 斯隆奖斯隆研究奖(英语:Sloan Research Fellowships)是每年由艾尔弗·斯隆基金(The Alfred P. Sloan Foundation)自1955年以来授予“提供支持和认同于早期的职业科学家和学者”。这与企
  • 达丽娜·泽维娜达丽娜·尤里耶夫娜·泽维娜(乌克兰语:Дарина Юріївна Зевіна,1994年9月1日-)生于基辅,是一名乌克兰女子游泳运动员,主攻仰泳。她的父母都曾是游泳选手。泽维娜