@article(jacm/AlurM09, author = {R. Alur and P. Madhusudan}, year = {2009}, title = {Adding nesting structure to words}, journal = {JACM}, volume = {56}, number = {3}, doi = {10.1145/1516512.1516518}, ) @article(journals/csur/AngluinS83, author = {D. Angluin and C. H. Smith}, year = {1983}, title = {Inductive Inference: Theory and Methods}, journal = {{ACM} Comput. Surv.}, volume = {15}, number = {3}, pages = {237--269}, doi = {10.1145/356914.356918}, ) @article(BarenghiEtAl2015, author = {A. Barenghi and {Crespi Reghizzi}, S. and D. Mandrioli and F. Panella and M. Pradella}, year = {2015}, title = {Parallel parsing made practical}, journal = {Sci. Comput. Program.}, volume = {112}, pages = {195--226}, doi = {10.1016/j.scico.2015.09.002}, ) @inproceedings(Input-driven, author = {B. von Braunm\"uhl and R. Verbeek}, year = {1983}, title = {Input-driven languages are recognized in log n space}, booktitle = {Proc. of the Symp. on Fundamentals of Computation Theory, LNCS 158}, publisher = {Springer}, pages = {40--51}, ) @article(DBLP:journals/tcs/Caron00a, author = {P. Caron}, year = {2000}, title = {Families of locally testable languages}, journal = {Theor. Comput. Sci.}, volume = {242}, number = {1-2}, pages = {361--376}, doi = {10.1016/S0304-3975(98)00332-6}, ) @article(CreGuiMan81, author = {{Crespi Reghizzi}, S. and G. Guida and D. Mandrioli}, year = {1981}, title = {{Operator Precedence Grammars and the Noncounting Property}}, journal = {{SIAM} J. Computing}, volume = {10}, pages = {174---191}, doi = {10.1137/0210013}, ) @article(CLMP17, author = {{Crespi Reghizzi}, S. and V. Lonati and D. Mandrioli and M. Pradella}, year = {2017}, title = {Toward a theory of input-driven locally parsable languages}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {105--121}, doi = {10.1016/j.tcs.2016.05.003}, ) @article(CrespiMandrioli12, author = {{Crespi Reghizzi}, S. and D. Mandrioli}, year = {2012}, title = {{Operator Precedence and the Visibly Pushdown Property}}, journal = {JCSS}, volume = {78}, number = {6}, pages = {1837--1867}, doi = {10.1016/j.jcss.2011.12.006}, ) @article(Crespi-ReghizziMM1978, author = {{Crespi Reghizzi}, S. and D. Mandrioli and D. F. Martin}, year = {1978}, title = {{Algebraic Properties of Operator Precedence Languages}}, journal = {Information and Control}, volume = {37}, number = {2}, pages = {115--133}, doi = {10.1016/S0019-9958(78)90474-6}, ) @article(Crespi-ReghizziCACM73, author = {{Crespi Reghizzi}, S. and M. A. Melkanoff and L. Lichten}, year = {1973}, title = {{The Use of Grammatical Inference for Designing Programming Languages}}, journal = {Commun. ACM}, volume = {16}, number = {2}, pages = {83--90}, doi = {10.1145/361952.361958}, ) @article(Floyd1963, author = {R. W. Floyd}, year = {1963}, title = {{Syntactic Analysis and Operator Precedence}}, journal = {JACM}, volume = {10}, number = {3}, pages = {316--333}, doi = {10.1145/321172.321179}, ) @article(DBLP:journals/cacm/Floyd64, author = {R. W. Floyd}, year = {1964}, title = {Bounded context syntactic analysis}, journal = {Commun. {ACM}}, volume = {7}, number = {2}, pages = {62--67}, doi = {10.1145/363921.363927}, ) @book(GruneJacobs:08, author = {D. Grune and C. J. Jacobs}, year = {2008}, title = {Parsing techniques: a practical guide}, publisher = {Springer}, address = {New York}, doi = {10.1007/978-0-387-68954-8}, ) @book(Harrison78, author = {M. A. Harrison}, year = {1978}, title = {{Introduction to Formal Language Theory}}, publisher = {Addison Wesley}, ) @article(KnuthLR67, author = {D. Knuth}, year = {1967}, title = {A characterization of parenthesis languages}, journal = {Information and Control}, volume = {11}, pages = {269--289}, doi = {10.1016/S0019-9958(67)90564-5}, ) @inproceedings(Tinput-PDA-2015, author = {M. Kutrib and A. Malcher and M. Wendlandt}, year = {2015}, title = {Tinput-Driven Pushdown Automata}, editor = {Durand{-}Lose, J. and B. Nagy}, booktitle = {Machines, Computations, and Universality - 7th International Conference, {MCU} 2015}, series = {LNCS}, volume = {9288}, publisher = {Springer}, pages = {94--112}, doi = {10.1007/978-3-319-23111-2\_7}, ) @article(LonatiEtAl2015, author = {V. Lonati and D. Mandrioli and F. Panella and M. Pradella}, year = {2015}, title = {Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization}, journal = {{SIAM} J. Comput.}, volume = {44}, number = {4}, pages = {1026--1088}, doi = {10.1137/140978818}, ) @inproceedings(DBLP:conf/icgi/LuqueL10, author = {F. M. Luque and G. G. Infante L{\'{o}}pez}, year = {2010}, title = {{PAC}-Learning Unambiguous \emph{k}, \emph{l}-{NTS}${}^{\unhbox\voidb@x \hbox{ {\textless}= }}$ Languages}, booktitle = {Grammatical Inference: Theoretical Results and Applications, 10th International Colloquium, {ICGI} 2010, Valencia, Spain, September 13-16, 2010. Proceedings}, pages = {122--134}, ) @article(McNaughton67, author = {R. McNaughton}, year = {1967}, title = {{Parenthesis Grammars}}, journal = {JACM}, volume = {14}, number = {3}, pages = {490--500}, doi = {10.1145/321406.321411}, ) @book(McNaughtonPapert71, author = {R. McNaughton and S. Papert}, year = {1971}, title = {{Counter-free Automata}}, publisher = {{MIT} {P}ress, {C}ambridge, {USA}}, ) @inproceedings(DBLP:conf/icalp/Mehlhorn80, author = {K. Mehlhorn}, year = {1980}, title = {Pebbling Mountain Ranges and its Application of {DCFL}-Recognition}, booktitle = {Automata, languages and programming (ICALP-80)}, series = {LNCS}, volume = {85}, pages = {422--435}, doi = {10.1007/3-540-10003-2_89}, ) @inproceedings(DBLP:conf/icgi/Yoshinaka08, author = {R. Yoshinaka}, year = {2008}, title = {Identification in the Limit of k, l-Substitutable Context-Free Languages}, editor = {A. Clark and F. Coste and L. Miclet}, booktitle = {Grammatical Inference: Algorithms and Applications, 9th International Colloquium, {ICGI} 2008}, series = {LNCS}, volume = {5278}, publisher = {Springer}, pages = {266--279}, doi = {10.1007/978-3-540-88009-7_21}, )