A proof of Choffrut's theorem on subsequential functions

Authors:
Véronique Bruyère;Christophe Reutenauer
Affiliations:
Univ. de Mons-Hainaut, Mons, Belgique;Univ. du Québec à Montréal, Montréal Canada
Venue:
Theoretical Computer Science
Year:
1999

Citing 0
Cited 4

Squaring transducers: an efficient procedure for deciding functionality and sequentiality

Theoretical Computer Science
Sequential?

Theoretical Computer Science - In honour of Professor Christian Choffrut on the occasion of his 60th birthday
Coalgebraising Subsequential Transducers

Electronic Notes in Theoretical Computer Science (ENTCS)
Subsequential transducers: a coalgebraic perspective

Information and Computation

Quantified Score

Hi-index	5.23

Visualization

Abstract