, Volume 27, Issue 8, pp 749-780

On the valuedness of finite transducers

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


We investigate the valuedness of finite transducers in connection with their inner structure. We show: The valuedness of a finite-valued nondeterministic generalized sequential machine (NGSM) M with n states and output alphabet Δ is at most the maximum of (1-⌊1/#Δ⌋) · (2 k 1 · k 3 ) n · n n ·#Δ n 3 ·k 4 / 3 and ⌊1/#Δ⌋·(2 k 2 ·k 3 ·(1+k 4 )) n ·n n where k 1≦6.25 and k 2≦11.89 are constants and k 3≧1 and k 4≧0 are local structural parameters of M. There are two simple criteria which characterize the infinite valuedness of an NGSM. By these criteria, it is decidable in polynomial time whether or not an NGSM is infinite-valued. In both cases, #Δ > 1 and #Δ = 1, the above upper bound for the valuedness is almost optimal. By reduction, all results can be easily generalized to normalized finite transducers.