On the Valuedness of Symbolic Finite Transducers | IEEE Conference Publication | IEEE Xplore