可能不停机程序和测试幺半群上if-then-else的公理化
Axiomatization of if-then-else over monoids of possibly non-halting programs and tests
摘要：
为了研究if-then-else结构在可能非停机程序和测试上的公理化，通过考虑来自抽象$C$ -代数的测试，在文献中引入了$C$ -集的概念.本文将$C$ -集的概念推广到$C$ -幺半群，它不仅包括程序的合成，也包括程序与测试的合成。对于其中$C$ -代数为adas的$C$ -幺半群类，得到了用泛函$C$ -幺半群表示的正则表示.
英文摘要：
In order to study the axiomatization of the if-then-else construct over possibly non-halting programs and tests, the notion of $C$-sets was introduced in the literature by considering the tests from an abstract $C$-algebra. This paper extends the notion of $C$-sets to $C$-monoids which include the composition of programs as well as composition of programs with tests. For the class of $C$-monoids where the $C$-algebras are adas a canonical representation in terms of functional $C$-monoids is obtained.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
