交互式小步算法 II：抽象状态机与特征化定理
计算机科学中的逻辑
2015-07-01 v2
摘要
在早期的工作中，抽象状态机论题——即任意算法在行为上等价于抽象状态机——已在包括普通、交互式、小步算法在内的几类算法中得到了确立。这是在这些算法类公理化的基础上完成的。在第 I 部分（交互式小步算法 I：公理化）中，该公理化被扩展以覆盖非必定普通的交互式小步算法。这意味着这些算法 (1) 可以完成一个步骤而无需必定等待来自该步骤所有查询的回复，并且 (2) 不仅可以使用环境的回复，还可以使用接收回复的顺序。为了证明这种普适性算法的论题，我们在此扩展了抽象状态机的定义，以纳入对回复的相对时序和回复可能缺失的明确关注。我们证明了扩展抽象状态机相对于第 I 部分中公理化的一般算法的特征化定理。
关键词
引用
@article{arxiv.0707.3789,
title = {Interactive Small-Step Algorithms II: Abstract State Machines and the<br> Characterization Theorem},
author = {Andreas Blass and Yuri Gurevich and Dean Rosenzweig and Benjamin Rossman},
journal= {arXiv preprint arXiv:0707.3789},
year = {2015}
}