@article(Alur:2009:answ, author = {Rajeev Alur and P. Madhusudan}, year = {2009}, title = {Adding nesting structure to words}, journal = {J. ACM}, volume = {56}, pages = {16:1--16:43}, doi = {10.1145/1516512.1516518}, ) @inproceedings(bensch:2012:idsa:proc, author = {Suna Bensch and Markus Holzer and Martin Kutrib and Andreas Malcher}, year = {2012}, title = {Input-Driven Stack Automata}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, booktitle = {Theoretical Computer Science (TCS 2012)}, series = {LNCS}, volume = {7604}, publisher = {Springer}, pages = {28--42}, doi = {10.1007/978-3-642-33475-7_3}, ) @inproceedings(braunmuehl:1983:idlrlog, author = {Burchard von Braunm{\"u}hl and Rutger Verbeek}, year = {1983}, title = {Input-Driven Languages are Recognized in {$\qopname\relax o{log}n$} Space}, editor = {Marek Karpinski}, booktitle = {Fundamentals of Computation Theory (FCT 1983)}, series = {LNCS}, volume = {158}, publisher = {Springer}, pages = {40--51}, doi = {10.1007/3-540-12689-9_92}, ) @article(Buntrock:1998:gcslcrl:art, author = {Gerhard Buntrock and Friedrich Otto}, year = {1998}, title = {Growing Context-Sensitive Languages and {C}hurch-{R}osser Languages}, journal = {Inform. Comput.}, volume = {141}, number = {1}, pages = {1--36}, doi = {10.1006/inco.1997.2681}, ) @article(carotenuto:2016:omsvpda, author = {Dario Carotenuto and Aniello Murano and Adriano Peron}, year = {2016}, title = {Ordered multi-stack visibly pushdown automata}, journal = {Theoret. Comput. Sci.}, volume = {656}, pages = {1--26}, doi = {10.1016/j.tcs.2016.08.012}, ) @article(dymond:1988:idllognd, author = {Patrick W. Dymond}, year = {1988}, title = {Input-Driven Languages are in {$\qopname\relax o{log}n$} Depth}, journal = {Inform. Process. Lett.}, volume = {26}, pages = {247--250}, doi = {10.1016/0020-0190(88)90148-2}, ) @article(harrison:1968:mtmhpda, author = {Michael A. Harrison and Oscar H. Ibarra}, year = {1968}, title = {Multi-Tape and Multi-Head Pushdown Automata}, journal = {Inform. Control}, volume = {13}, pages = {433--470}, doi = {10.1016/S0019-9958(68)90901-7}, ) @book(Hopcroft:1979:itatlc:book, author = {John E. Hopcroft and Jeffrey D. Ullman}, year = {1979}, title = {Introduction to Automata Theory, Languages, and Computation}, publisher = {Addison-Wesley}, address = {Reading, Massachusetts}, ) @article(kutrib:2015:idqaftdcp, author = {Martin Kutrib and Andreas Malcher and Carlo Mereghetti and Beatrice Palano and Matthias Wendlandt}, year = {2015}, title = {Deterministic Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties}, journal = {Theoret. Comput. Sci.}, volume = {578}, pages = {58--71}, doi = {10.1016/j.tcs.2015.01.012}, ) @article(McNaughton:1988:crtsfl, author = {Robert McNaughton and Paliath Narendran and Friedrich Otto}, year = {1988}, title = {{C}hurch-{R}osser {T}hue Systems and Formal Languages}, journal = {J. ACM}, volume = {35}, pages = {324--344}, doi = {10.1145/42282.42284}, ) @inproceedings(mehlhorn:1980:pmradcflr, author = {Kurt Mehlhorn}, year = {1980}, title = {Pebbling Moutain Ranges and its Application of {DCFL}-Recognition}, editor = {J. W. de Bakker and Jan van Leeuwen}, booktitle = {International Colloquium on Automata, Languages and Programming (ICALP 1980)}, series = {LNCS}, volume = {85}, publisher = {Springer}, pages = {422--435}, doi = {10.1007/3-540-10003-2_89}, ) @article(nagy:2012:cothfall, author = {Benedek Nagy}, year = {2012}, title = {A class of 2-head finite automata for linear languages}, journal = {Triangle 8, (Languages, Mathematical Approaches)}, pages = {89--99}, ) @inproceedings(Nagy:2015:afothpa, author = {Benedek Nagy}, year = {2015}, title = {A family of two-head pushdown automata}, editor = {Rudolf Freund and Markus Holzer and Nelma Moreira and Rog{\'{e}}rio Reis}, booktitle = {Non-Classical Models of Automata and Applications (NCMA 2015)}, series = {books@ocg.at}, volume = {318}, publisher = {Austrian Computer Society}, address = {Vienna}, pages = {177--191}, ) @article(Niemann:2005:crldvgcsl, author = {G. Niemann and F. Otto}, year = {2005}, title = {The {C}hurch-{R}osser languages are the deterministic variants of the growing context-sensitive languages}, journal = {Inform. Comput.}, volume = {197}, pages = {1--21}, doi = {10.1016/j.ic.2004.09.003}, ) @article(rosenberg:1967:mrlcfl, author = {Arnold L. Rosenberg}, year = {1967}, title = {A Machine Realization of the Linear Context-Free Languages}, journal = {Inform. Control}, volume = {10}, pages = {175--188}, doi = {10.1016/S0019-9958(67)80006-8}, )