Coalgebraising Subsequential Transducers

DOI10.1016/j.entcs.2008.05.022zbMath1279.18002OpenAlexW2120837912MaRDI QIDQ2873665

Helle Hvid Hansen

Publication date: 24 January 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.05.022

zbMATH Keywords

coalgebranormalisationdifferentialsubsequential transducerword function

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Categories of machines, automata (18B20)

Related Items (1)

Subsequential transducers: a coalgebraic perspective

Cites Work

• Sur une variante des fonctions séquentielles
• A proof of Choffrut's theorem on subsequential functions
• Universal coalgebra: A theory of systems
• Determinization of transducers over finite and infinite words.
• Minimizing subsequential transducers: a survey.
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Automata and fixed point logic: a coalgebraic perspective
• Sequential Functions
• A Kleene Theorem for Polynomial Coalgebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Coalgebraising Subsequential Transducers