%0 Conference Proceedings
%T Defining Context-Free Power Series Coalgebraically
%+ Leiden Institute of Advanced Computer Science [Leiden] (LIACS)
%+ Centrum voor Wiskunde en Informatica (CWI)
%+ Radboud University Medical Center [Nijmegen]
%A Bonsangue, Marcello, M.
%A Rutten, Jan
%A Winter, Joost
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS)
%C Tallinn, Estonia
%Y Dirk Pattinson
%Y Lutz Schröder
%I Springer
%3 Coalgebraic Methods in Computer Science
%V LNCS-7399
%P 20-39
%8 2012-03-31
%D 2012
%R 10.1007/978-3-642-32784-1_2
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%2 https://inria.hal.science/hal-01539885/document
%2 https://inria.hal.science/hal-01539885/file/978-3-642-32784-1_2_Chapter.pdf
%L hal-01539885
%U https://inria.hal.science/hal-01539885
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-CMCS
%~ IFIP-LNCS-7399
%~ IFIP-ETAPS