arXiv 1808.062552018-08-19cs.LOcs.SEmath.LO

进化代数1993：利帕里指南

Evolving Algebras 1993: Lipari Guide

Yuri Gurevich

备注：: The paper is published in arXiv because the Oxford University Press book is not available, Specification and Validation Methods, editor Egon Boerger, Oxford University Press, 1995

摘要：

计算模型和规范方法似乎截然不同。关于抽象状态机（简称ASM，也称为演化代数）的项目开始时试图通过改进图灵的论文来弥合这一差距。我们寻求更通用的机器，能够逐步模拟其自然抽象层次上的任意算法。ASM论文断言ASM是如此多功能的机器。该指南提供了顺序、并行和分布式ASM的定义。

英文摘要：

Computation models and specification methods seem to be worlds apart. The project on abstract state machines (in short ASMs, also known as evolving algebras) started as an attempt to bridge the gap by improving on Turing's thesis. We sought more versatile machines which would be able to step-for-step simulate arbitrary algorithms on their natural abstraction levels. The ASM thesis asserts that ASMs are such versatile machines. The guide provides the definitions of sequential, parallel and distributed ASMs.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。