关于系统有理行为上的操作规范

结构操作语义可以在语法对行为的分配律的一般层面上进行研究。这产生了关于终余代数上良好行为的代数操作的规范格式，终余代数是给定类型函子的所有系统行为的一个域。我们引入了一种代数操作规范格式，该格式限制在函子的有理不动点上，它捕捉了有限系统的行为。换句话说，我们证明了有理行为在我们格式指定的操作下是封闭的。作为应用，我们考虑了正则语言、正则过程和有限加权转移系统上的操作。