指令序列半群的表达能力和扩展性
摘要：PGA，即ProGram Algebra，将顺序程序描述为有限或无限（重复）指令序列。有限指令序列的半群C被引入作为与PGA同样表达力的替代方法。PGA指令从左到右执行；大多数C指令都有左到右和右到左的版本。本论文基于C引入了一个替代半群Cg，它使用标签和跳转指令作为控制结构，而不是相对跳转指令。Cg可以转换为C，反之亦然（因此它们的表达能力相同）。验证了将C和Cg的指令集限制为只包含有限数量的不同跳转、跳转到或标签指令，或两者皆有，会减少它们的表达能力。包含无限数量这些指令的指令集，无论方向如何（不一定是所有这些指令），不会损失表达能力。
作者：Stephan Schroevers
论文ID：1003.1572
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-03-09