简短介绍程序代数与指令的布尔寄存器
A short introduction to program algebra with instructions for Boolean registers
摘要：
指令序列的参数化代数理论、表示由执行中的指令序列产生的行为的对象、以及表示由指令序列的执行环境的组件表现出的行为的对象是一系列研究的基础，其中，与来自计算机科学的各种各样的主题相关的问题已经根据指令序列的思想被严格地研究。在属于这一研究领域的各种论文中，使用了该理论的实例，其中基本指令是读出和更改布尔寄存器内容的指令，执行环境的组件是布尔寄存器。在本文中，我们给出了一个最一般的实例化理论的简化介绍。
英文摘要：
A parameterized algebraic theory of instruction sequences, objects that represent the behaviours produced by instruction sequences under execution, and objects that represent the behaviours exhibited by the components of the execution environment of instruction sequences is the basis of a line of research in which issues relating to a wide variety of subjects from computer science have been rigorously investigated thinking in terms of instruction sequences. In various papers that belong to this line of research, use is made of an instantiation of this theory in which the basic instructions are instructions to read out and alter the content of Boolean registers and the components of the execution environment are Boolean registers. In this paper, we give a simplified presentation of the most general such instantiated theory.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
