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 metadatas

https://hal.inria.fr/hal-01539885
Contributor : Hal Ifip <>
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

File

978-3-642-32784-1_2_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Marcello 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⟩

Share

Metrics

Record views

160

Files downloads

161