On the Ambiguity and Finite-Valuedness Problems in Acceptors and Transducers
Óscar H. Ibarra · International Journal of Foundations of Computer Science · 2015
We prove new decidability and undecidability results concerning the finite-ambiguity problem in acceptors, and the finite-valuedness and lossiness problems in transducers. The acceptors and transducers we study have infinite memory.