A Final Coalgebra for k-regular Sequences

DOI10.1007/978-3-319-06880-0_19zbMath1407.68318OpenAlexW1603039341MaRDI QIDQ5418973

Clemens Kupke, Joost Winter, Helle Hvid Hansen, Jan J. M. M. Rutten

Publication date: 2 June 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06880-0_19

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Automata sequences (11B85) Categories of machines, automata (18B20)

Related Items

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• On some questions regarding \(k\)-regular and \(k\)-context-free sequences
• The ring of \(k\)-regular sequences
• The ring of \(k\)-regular sequences. II.
• Universal coalgebra: A theory of systems
• The music of streams
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• On the values attained by a \(k\)-regular sequence
• On the Final Coalgebra of Automatic Sequences
• Defining Context-Free Power Series Coalgebraically
• Automatic Sequences and Zip-Specifications
• Concrete stream calculus: An extended study
• THE CATEGORY OF SIMULATIONS FOR WEIGHTED TREE AUTOMATA
• Automatic Sequences
• Generalizing determinization from automata to coalgebras