交互式小步算法 I：公理化
计算机科学中的逻辑
2015-07-01 v2
摘要
在早期的工作中，抽象状态机器论题——即任意算法在行为上等价于抽象状态机器——已在几类算法中得到了确立，包括常规的、交互式的小步算法。这是基于对这些算法类的公理化而实现的。在此，我们扩展了该公理化，并在一篇姊妹篇论文中将证明扩展至涵盖非必然常规的交互式小步算法。这意味着这些算法(1)可以在不必等待该步骤所有查询回复的情况下完成一步，并且(2)不仅可以使用环境的回复，还可以使用接收回复的顺序。
引用
@article{arxiv.0707.3782,
title = {Interactive Small-Step Algorithms I: Axiomatization},
author = {Andreas Blass and Yuri Gurevich and Dean Rosenzweig and Benjamin Rossman},
journal= {arXiv preprint arXiv:0707.3782},
year = {2015}
}