A proof of Choffrut's theorem on subsequential functions
type: Item
instance of: scholarly article
title: A proof of Choffrut's theorem on subsequential functions
zbMATH Open document ID: 0913.68120
DOI: 10.1016/S0304-3975(98)00163-7
author: Véronique Bruyère
author: Christophe Reutenauer
published in: Theoretical Computer Science
publication date: 1999-04-28T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1281087
zbMATH Keywords: subsequential
zbMATH Keywords: machine
zbMATH Keywords: rational
MaRDI profile type: Publication
cites work: Q3859267
cites work: The suffix tree of a tree and minimizing sequential transducers
cites work: Q3853135
cites work: Automata in general algebras
cites work: Q4003861
cites work: Minimization algorithms for sequential transducers
cites work: Q3979259
cites work: Minimization of Rational Word Functions
full work available at URL: s0304-3975(98)00163-7
OpenAlex ID: W2052865572
description: scientific article; zbMATH DE number 1281087