A final coalgebra for k-regular sequences
Hansen, Helle Hvid and Kupke, Clemens and Rutten, Jan and Winter, Joost; van Breugel, Frank and Kashefi, Elham and Palamidessi, Catuscia and Rutten, Jan, eds. (2014) A final coalgebra for k-regular sequences. In: Horizons of the Mind. Springer: Lecture Notes in Computer Science, pp. 363-383. ISBN 978-3-319-06879-4 (https://doi.org/10.1007/978-3-319-06880-0_19)
Full text not available in this repository.Request a copyAbstract
We study k-regular sequences from a coalgebraic perspective. Building on the observation that the set of streams over a semiring S can be turned into a final coalgebra, we obtain characterizations of k-regular sequences in terms of finite weighted automata, finite systems of behavioral differential equations, and recognizable power series. The latter characterization is obtained via an isomorphism of final coalgebras based on the k-adic numeration system.
-
-
Item type: Book Section ID code: 51180 Dates: DateEventMay 2014PublishedSubjects: Science > Mathematics > Electronic computers. Computer science Department: Faculty of Science > Computer and Information Sciences Depositing user: Pure Administrator Date deposited: 20 Jan 2015 16:22 Last modified: 08 Apr 2024 13:16 Related URLs: URI: https://strathprints.strath.ac.uk/id/eprint/51180