论程序代数中布尔寄存器的指令集
编程语言
2016-10-07 v2
摘要
在先前于程序代数框架下开展的工作中，包括指令序列大小复杂性领域的研究，我们选择了仅包含少数几种可能类型指令的布尔寄存器指令集。在本文中，我们研究了所有可能的布尔寄存器指令集在指令序列大小有界下的功能完备性。我们期望这项研究的结果将被证明有助于充分评估涉及指令序列大小复杂性下界的工作成果。
引用
@article{arxiv.1502.00238,
title = {On instruction sets for Boolean registers in program algebra},
author = {J. A. Bergstra and C. A. Middelburg},
journal= {arXiv preprint arXiv:1502.00238},
year = {2016}
}
备注
18 pages, the preliminaries are largely the same as the preliminaries in arXiv:1402.4950 [cs.PL] and some earlier papers; 21 pages, presentation improved