Defining context-free power series coalgebraically

DOI10.1007/978-3-642-32784-1_2MaRDI QIDQ2914674zbMATH OpenOpenAlexFDO

Authors Marcello M. Bonsangue, Joost Winter, Jan J. M. M. Rutten

Publication date 20 September 2012

Published in Coalgebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32784-1_2

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Recommendations

• Context-free coalgebras
• Context-free languages, coalgebraically
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Coalgebraic characterizations of context-free languages
• Behavioural Differential Equations and Coinduction for Binary Trees

Cited in

(7)

• Context-free coalgebras
• Processes as formal power series: a coinductive approach to denotational semantics
• Coalgebraic characterizations of context-free languages
• Stream differential equations: specification formats and solution methods
• Context-free languages, coalgebraically
• A final coalgebra for k-regular sequences
• Product rules and distributive laws

This page was built for publication: Defining context-free power series coalgebraically

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