On the Ambiguity, Finite-Valuedness, and Lossiness Problems in Acceptors and Transducers

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.

[1]  Oscar H. Ibarra,et al.  On the open problem of Ginsburg concerning semilinear sets and related problems , 2013, Theor. Comput. Sci..

[2]  M. Minsky.  Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines , 1961 .

[3]  Petr Hliněný,et al.  Mathematical Foundations of Computer Science 2010, 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings , 2010, MFCS.

[4]  Jacques Sakarovitch,et al.  On the Decidability of Bounded Valuedness for Transducers , 2008, MFCS.

[5]  Andreas Weber,et al.  On the valuedness of finite transducers , 1990, Acta Informatica.

[6]  Oscar H. Ibarra,et al.  Lossiness of Communication Channels Modeled by Transducers , 2014, CiE.

[7]  Anthony Widjaja Lin,et al.  Model Checking Recursive Programs with Numeric Data Types , 2011, CAV.

[8]  Jean-Marc Talbot,et al.  Properties of Visibly Pushdown Transducers , 2010, MFCS.

[9]  Klaus Wich.  Exponential ambiguity of context-free grammars , 1999, Developments in Language Theory.

[10]  Eitan M. Gurari,et al.  The Complexity of Decision Problems for Finite-Turn Multicounter Machines , 1981, J. Comput. Syst. Sci..

[11]  James Worrell.  Revisiting the Equivalence Problem for Finite Multitape Automata , 2013, ICALP.

[12]  Tero Harju,et al.  The Equivalence Problem of Multitape Finite Automata , 1991, Theor. Comput. Sci..

[13]  Jerzy Tyszkiewicz,et al.  Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings , 2008, MFCS.

[14]  Karel Culik,et al.  The Equivalence of Finite Valued Transducers (on HDTOL Languages) is Decidable , 1986, MFCS.

[15]  R. J. Nelson,et al.  Introduction to Automata , 1968 .

[16]  Oscar H. Ibarra,et al.  Multitape NFA: Weak Synchronization of the Input Heads , 2012, SOFSEM.

[17]  Jorge E. Mezei,et al.  On Relations Defined by Generalized Finite Automata , 1965, IBM J. Res. Dev..

[18]  Robin Milner,et al.  On Observing Nondeterminism and Concurrency , 1980, ICALP.

[19]  Oscar H. Ibarra,et al.  Reversal-Bounded Multicounter Machines and Their Decision Problems , 1978, JACM.

[20]  Piotr Lipinski,et al.  Improving Watermark Resistance against Removal Attacks Using Orthogonal Wavelet Adaptation , 2012, SOFSEM.

[21]  Marcel Paul Schützenberger,et al.  A Remark on Finite Transducers , 1961, Inf. Control..