Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
type: Item
instance of: scholarly article
title: Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
zbMATH Open document ID: 1064.68050
DOI: 10.1016/S0304-3975(01)00214-6
author: Marie-Pierre Béal
author: Olivier Carton
author: Christophe Prieur
author: Jacques Sakarovitch
published in: Theoretical Computer Science
publication date: 2003-01-22T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1857210
zbMATH Keywords: Finite automata
zbMATH Keywords: Functional transducer
zbMATH Keywords: Sequential transducer
MaRDI profile type: Publication
Wikidata QID: Q56621425
cites work: Determinization of transducers over finite and infinite words.
cites work: Q4508395
cites work: Q3859267
cites work: Q4430300
cites work: Single-valued a-transducers
cites work: A proof of Choffrut's theorem on subsequential functions
cites work: How to decide continuity of rational functions on infinite words
cites work: Une caractérisation des fonctions séquentielles et des fonctions sous- séquentielles en tant que rélations rationnelles
cites work: Q3853135
cites work: Q4079524
cites work: A note on finite-valued and finitely ambiguous transducers
cites work: Q3979259
cites work: Q4101446
cites work: Sur une variante des fonctions séquentielles
cites work: Economy of description for single-valued transducers
full work available at URL: s0304-3975(01)00214-6
OpenAlex ID: W2096207507
description: scientific article; zbMATH DE number 1857210