Subsequential transducers: a coalgebraic perspective
type: Item
instance of: scholarly article
title: Subsequential transducers: a coalgebraic perspective
zbMATH Open document ID: 1209.68297
author: Helle Hvid Hansen
published in: Information and Computation
publication date: 2011-01-14T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q70
zbMATH DE Number: 5836748
zbMATH Keywords: subsequential transducer
zbMATH Keywords: word function
zbMATH Keywords: coalgebra
zbMATH Keywords: normalisation
zbMATH Keywords: differential
MaRDI profile type: Publication
full work available at URL: j.ic.2009.10.008
OpenAlex ID: W2144143049
cites work: Q4693062
cites work: Q3996444
cites work: A hierarchy of probabilistic system types
cites work: Computing the prefix of an automaton
cites work: Determinization of transducers over finite and infinite words.
cites work: Q3859267
cites work: A Kleene Theorem for Polynomial Coalgebras
cites work: A proof of Choffrut's theorem on subsequential functions
cites work: Q3853135
cites work: Minimizing subsequential transducers: a survey.
cites work: Q5639639
cites work: Q4079524
cites work: Confluent linear numeration systems
cites work: Describing an algorithm by Hopcroft
cites work: Functors for coalgebras
cites work: On minimal coalgebras
cites work: Types and coalgebraic structure
cites work: Coalgebraising subsequential transducers
cites work: Q4045961
cites work: Q4506483
cites work: Q5585020
cites work: Re-describing an algorithm by Hopcroft
cites work: Q4344149
cites work: Coalgebraic Automata Theory: Basic Results
cites work: Q4215784
cites work: Coalgebraic modal logic: soundness, completeness and decidability of local consequence
cites work: Q3979259
cites work: Minimization of Rational Word Functions
cites work: Towards weak bisimulation for coalgebras
cites work: Q4251915
cites work: A note on Coinduction and Weak Bisimilarity for While Programs
cites work: Universal coalgebra: A theory of systems
cites work: Behavioural differential equations: a coinductive calculus of streams, automata, and power series
cites work: Sur une variante des fonctions séquentielles
cites work: Weak bisimulation for action-type coalgebras (extended abstract)
DOI: 10.1016/J.IC.2009.10.008
description: scientific article; zbMATH DE number 5836748