A Kleene Theorem for Polynomial Coalgebras
A Kleene Theorem for Polynomial Coalgebras
复制标题
多项式余代数的克林定理
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Alexandra Silva
中科院分区：
文献类型：
--
作者：
M. Bonsangue;J. Rutten;Alexandra Silva
对于多项式函子G，我们证明了如何将经典的正则表达式的概念推广到G-余代数。我们引入了一种描述最终G-余代数元素的表达式语言，类似于Kleene定理，我们证明了表达式与有限G-余代数之间的对应关系。
For polynomial functors G , we show how to generalize the classical notion of regular expression to G -coalgebras. We introduce a language of expressions for describing elements of the final G -coalgebra and, analogously to Kleene's theorem, we show the correspondence between expressions and finite G -coalgebras.