计算位串函数的指令序列的算法等价性
On algorithmic equivalence of instruction sequences for computing bit string functions
摘要：
从给定长度的位串到可能不同的给定长度的位串的每个部分函数可以通过有限指令序列来计算，该有限指令序列仅包含用于设置和获取布尔寄存器的内容的指令、前向跳转指令和终止指令。我们寻找一个等价关系的指令序列，这种捕获到一个合理的程度的直观概念，两个指令序列表示相同的算法。
英文摘要：
Every partial function from bit strings of a given length to bit strings of a possibly different given length can be computed by a finite instruction sequence that contains only instructions to set and get the content of Boolean registers, forward jump instructions, and a termination instruction. We look for an equivalence relation on instruction sequences of this kind that captures to a reasonable degree the intuitive notion that two instruction sequences express the same algorithm.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
