×

保护命令语言的概率模型。 (英语) Zbl 0877.68014号

摘要:本文提出的两个模型为Dijkstra的保护命令语言的扩展提供了两种不同的语义。扩展语言有一个额外的运算符,即概率选择,这使得表达随机算法成为可能。
克莱尔·琼斯(Claire Jones)早期的模型包括概率选择,但不包括非确定性,这意味着它不能用于根据规范开发算法。我们的第二个模型是在Claire-Jones模型的基础上建立的,使用了一种将概率cpo扩展到包含非确定性的cpo的通用方法。可以说,第一个模型是从头开始构建的,只受对语言结构的某些代数属性的需求的指导,而我们发现第二个模型中缺少这些属性。
我们通过举例和构造它们与非概率模型之间的映射来比较这两个模型的性质。基于这种比较,我们认为,一般来说,第一种模型比第二种模型更可取。

MSC公司:

68甲15 编程语言理论
第68季度55 计算理论中的语义学

关键词:

概率规划语言
PDF格式BibTeX公司 XML格式引用
全文: 内政部