Coalgebraising subsequential transducers

DOI10.1016/J.ENTCS.2008.05.022MaRDI QIDQ2873665zbMATH OpenOpenAlexFDO

Authors 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

coalgebradifferentialnormalisationsubsequential transducerword function

Mathematics Subject Classification ID

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

Recommendations

• Subsequential transducers: a coalgebraic perspective
• Minimizing subsequential transducers: a survey.
• scientific article; zbMATH DE number 1962764
• FINITELY SUBSEQUENTIAL TRANSDUCERS
• Generalizing determinization from automata to coalgebras

Cites work

• A Kleene Theorem for Polynomial Coalgebras
• A proof of Choffrut's theorem on subsequential functions
• Automata and fixed point logic: a coalgebraic perspective
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Determinization of transducers over finite and infinite words.
• scientific article; zbMATH DE number 3653575 (Why is no real title available?)
• scientific article; zbMATH DE number 19761 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 1304993 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• Minimizing subsequential transducers: a survey.
• Sequential Functions
• Sur une variante des fonctions séquentielles
• Synthesis of Mealy machines using derivatives
• Universal coalgebra: A theory of systems
• Weak bisimulation for action-type coalgebras (extended abstract)

Cited in

(1)

• Subsequential transducers: a coalgebraic perspective

This page was built for publication: Coalgebraising subsequential transducers

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