×

兹马思-数学第一资源

通信顺序进程。(英语) Zbl 0637.68007
普伦蒂斯霍尔计算机科学国际系列。Englewood Cliffs,New Jersey等:Prentice Hall International公司。256便士;美元57.95分;31.95英镑(1985年)。
这本书提供了一个非常一般意义上的计算理论处理。这种处理是基于数学而不是任何真正的计算硬件。另一方面,选择用来表示机器、语言或程序(简而言之,进程)行为的数学术语是如此的充分,以至于可以尽可能接近实际的计算设备。
过程的数学精确处理是基于一个相当简单的概念,即设备对设备环境中发生的事件做出响应。该装置可以是基本的,只对少数可能的事件作出响应,或者它可以是对各种事件作出响应的许多不同设备的复杂组合。响应也可以成为对其他设备的事件,因此可以考虑设备之间的通信。
如果一个设备总是以同样的方式响应事件,那么它是确定性的。如果存在一组可能的响应,那么它是不确定的。如果有多个设备响应相同的事件,我们就有一个并行的设备组合。这本书介绍了一些可能的组合,每个组合都被定义为一个具有精确含义的运算符和一套控制其应用的法则。除了常见的过程组合,如非确定性选择、fork、join等,本书还给出了尚未从理论上处理的组合的数学定义,如一个进程中断另一个进程,一个进程在灾难后替换另一个进程等。
设备的行为(实际的或预期的)可以用它的轨迹来描述,它是一系列事件,设备在其中被使用。轨迹也是数学实体,只要遵守相关的定律,就可以进行变换、约化、替换和其他常见的数学操作。对于确定过程结构的特定设计是否会按预期运行,或者是否包含可能导致无限循环、死锁和其他灾难的错误,跟踪的数学至关重要。一方面,作者展示了如何将数学应用于程序设计,另一方面,他发展了数学的一个新分支——通信顺序过程数学。
除了理论,这本书还有它的实践方面。每一个提出的过程结构概念也由一个类似Lisp的实现来说明,该实现实际上可以在真实的计算机上进行测试,这可能有助于理解形式化定义。

理学硕士:
68-02年 与计算机科学有关的研究展览会(专著、调查文章)
68问65 抽象数据类型;代数规范
68N01号 软件理论概论
68Q45号 形式语言与自动机