关于普通和ω-正则行为的余代数观点
摘要：在本文中，我们提出了一个通用的共代数设置，其中我们定义了以Büchi接受条件为基础的具有单子类型系统的有限和无限行为。本文的第一部分致力于介绍适用于建模（有限）行为的单子构造。论文的第二部分关注介绍（共代数）自动机及其（ω）行为的概念。我们最后介绍了（ω）正则输入的共代数Kleene定理。该框架在非确定性（Büchi）自动机、树自动机和概率自动机上进行了实例化。
作者：Tomasz Brengos
论文ID：1902.02601
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22