Removing nondeterminism in constant height pushdown automata

We study the descriptional cost of converting constant height nondeterministic pushdown automata into equivalent deterministic devices. We show a double-exponential upper bound for this conversion, together with a super-exponential lower bound.

[1]  Andreas Malcher,et al.  Descriptional Complexity of Pushdown Store Languages , 2012, DCFS.

[2]  Katja Meckel,et al.  Queue Automata of Constant Length , 2013, DCFS.

[3]  A. R. Meyer,et al.  Economy of Description by Automata, Grammars, and Formal Systems , 1971, SWAT.

[4]  Desh Ranjan,et al.  Space Bounded Computations: Review and New Separation Results , 1991, Theor. Comput. Sci..

[5]  Marek Chrobak,et al.  Finite Automata and Unary Languages , 1986, Theor. Comput. Sci..

[6]  Beatrice Palano,et al.  Behaviours of Unary Quantum Automata , 2010, Fundam. Informaticae.

[7]  I. Chuang,et al.  Quantum Computation and Quantum Information: Introduction to the Tenth Anniversary Edition , 2010 .

[8]  Andreas Malcher,et al.  Descriptional complexity of two-way pushdown automata with restricted head reversals , 2011, Theor. Comput. Sci..

[9]  Carlo Mereghetti,et al.  Note on the Succinctness of Deterministic, Nondeterministic, Probabilistic and Quantum Finite Automata , 2001, RAIRO Theor. Informatics Appl..

[10]  Jeffrey D. Ullman,et al.  Introduction to automata theory, languages, and computation, 2nd edition , 2001, SIGA.

[11]  Eitan M. Gurari,et al.  Simple Counter Machines and Number-Theoretic Problems , 1979, J. Comput. Syst. Sci..

[12]  Carlo Mereghetti,et al.  Two-Way Automata Simulations and Unary Languages , 2000, J. Autom. Lang. Comb..

[13]  Christos A. Kapoutsis.  Size Complexity of Two-Way Finite Automata , 2009, Developments in Language Theory.

[14]  Alberto Bertoni,et al.  Trace monoids with idempotent generators and measure-only quantum automata , 2010, Natural Computing.

[15]  Carlo Mereghetti,et al.  Converting Two-Way Nondeterministic Unary Automata into Simpler Automata , 2001, MFCS.

[16]  Juraj Hromkovic,et al.  Algorithmics for Hard Problems , 2002, Texts in Theoretical Computer Science An EATCS Series.

[17]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[18]  Seymour Ginsburg,et al.  One-way stack automata , 1967, JACM.

[19]  Marek Chrobak,et al.  Errata to: "finite automata and unary languages" , 2003 .

[20]  Carlo Mereghetti,et al.  More Concise Representation of Regular Languages by Automata and Regular Expressions , 2008, Developments in Language Theory.

[21]  Martin Kutrib,et al.  Descriptional Complexity - An Introductory Survey , 2010, Scientific Applications of Language Methods.

[22]  John C. Shepherdson,et al.  The Reduction of Two-Way Automata to One-Way Automata , 1959, IBM J. Res. Dev..

[23]  Andreas Malcher,et al.  Descriptional Complexity of Machines with Limited Resources , 2002, J. Univers. Comput. Sci..

[24]  Carlo Mereghetti,et al.  Optimal Simulations Between Unary Automata , 1998, STACS.

[25]  Carlo Mereghetti,et al.  Complementing two-way finite automata , 2007, Inf. Comput..

[26]  Isaac L. Chuang,et al.  Quantum Computation and Quantum Information (10th Anniversary edition) , 2011 .

[27]  Jozef Gruska,et al.  Quantum Computing , 2008, Wiley Encyclopedia of Computer Science and Engineering.

[28]  Carlo Mereghetti,et al.  The size-cost of Boolean operations on constant height deterministic pushdown automata , 2012, Theor. Comput. Sci..

[29]  Dana S. Scott,et al.  Finite Automata and Their Decision Problems , 1959, IBM J. Res. Dev..

[30]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .