Skip to Main content Skip to Navigation
Conference papers

Defining Context-Free Power Series Coalgebraically

Abstract : 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 zip-operator of two algebraic streams is algebraic.
Document type :
Conference papers
Complete list of metadata
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, June 15, 2017 - 3:02:47 PM
Last modification on : Wednesday, December 20, 2017 - 5:42:07 PM
Long-term archiving on: : Wednesday, December 13, 2017 - 1:18:47 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Marcello M. Bonsangue, Jan Rutten, Joost Winter. Defining Context-Free Power Series Coalgebraically. 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.20-39, ⟨10.1007/978-3-642-32784-1_2⟩. ⟨hal-01539885⟩



Record views


Files downloads