On the final coalgebra of automatic sequences

DOI10.1007/978-3-642-29485-3_10MaRDI QIDQ2897949zbMATH OpenOpenAlexFDO

Authors Clemens Kupke, Jan J. M. M. Rutten

Publication date 16 July 2012

Published in Logic and Program Semantics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-29485-3_10

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Algebraic theory of languages and automata (68Q70) Combinatorics on words (68R15)

Recommendations

• A final coalgebra for k-regular sequences
• Automatic Sequences
• Rational streams coalgebraically
• Automatic sequences and zip-specifications
• Automatic sequences

Cited in

(8)

• A complete logic for behavioural equivalence in coalgebras of finitary set functors
• Context-free coalgebras
• Linearization of automatic arrays and weave specifications
• Stream differential equations: specification formats and solution methods
• Automatic sequences and zip-specifications
• Rational streams coalgebraically
• A final coalgebra for k-regular sequences
• A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors

This page was built for publication: On the final coalgebra of automatic sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2897949)