Defining Context-Free Power Series Coalgebraically - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2012

Defining Context-Free Power Series Coalgebraically

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Identifiants

Citer

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 Consultations
69 Téléchargements

Altmetric

Partager

More