Defining Context-Free Power Series Coalgebraically [chapter]

Marcello M. Bonsangue, Jan Rutten, Joost Winter
2012 Lecture Notes in Computer Science  
In this paper we present a coinductive definition of context free power series in terms of behavioural differential equations. We show that our coalgebraic approach provides a unified view on many, at first sight different, existing notions of algebraicity, and we apply our behavioural differential equations to produce a new proof for a classical result by Chomsky and Schützenberger, and a simple proof that the zipoperator of two algebraic streams is algebraic.
doi:10.1007/978-3-642-32784-1_2 fatcat:vq6hridv2fcptm6da7xl4omwd4