Defining Context-Free Power Series Coalgebraically - Coalgebraic Methods in Computer Science
Conference Papers Year : 2012

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.
Fichier principal
Vignette du fichier
978-3-642-32784-1_2_Chapter.pdf (316.71 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01539885 , version 1 (15-06-2017)

Licence

Identifiers

Cite

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⟩
97 View
69 Download

Altmetric

Share

More