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.
展开▼