@article(BN10, author = "Marcin Balcerzak and Damian Niwinski", year = "2010", title = "Two-way deterministic automata with two reversals are exponentially more succinct than with one reversal", journal = "Inf. Process. Lett.", volume = "110", number = "10", pages = "396--398", doi = "10.1016/j.ipl.2010.03.008", ) @inproceedings(Ber80, author = "Piotr Berman", year = "1980", title = "A note on sweeping automata", editor = "J. W. de Bakker and Jan van Leeuwen", booktitle = "ICALP", series = "Lecture Notes in Computer Science", volume = "85", publisher = "Springer", pages = "91--97", doi = "10.1007/3-540-10003-2_62", ) @techreport(BL77, author = "Piotr Berman and Andrei Lingas", year = "1977", title = "On the complexity of regular languages in terms of finite automata", type = "Technical Report", number = "304", institution = "Polish Academy of Sciences", ) @article(Chr86, author = "Marek Chrobak", year = "1986", title = "Finite automata and unary languages", journal = "Theor. Comput. Sci.", volume = "47", number = "3", pages = "149--158", doi = "10.1016/0304-3975(86)90142-8", note = "Errata: {\cite {Chrobak2003497}}", ) @article(Chrobak2003497, author = "Marek Chrobak", year = "2003", title = "Errata to: Finite automata and unary languages: [Theoret. Comput. Sci. 47 (1986) 149-158]", journal = "Theor. Comput. Sci.", volume = "302", number = "1-3", pages = "497 -- 498", doi = "10.1016/S0304-3975(03)00136-1", ) @inproceedings(Gaw11, author = "Pawel Gawrychowski", year = "2011", title = "Chrobak normal form revisited, with applications", editor = "B{\'e}atrice Bouchou-Markhoff and Pascal Caron and Jean-Marc Champarnaud and Denis Maurel", booktitle = "CIAA", series = "Lecture Notes in Computer Science", volume = "6807", publisher = "Springer", pages = "142--153", doi = "10.1007/978-3-642-22256-6_14", ) @article(Gef07, author = "Viliam Geffert", year = "2007", title = "Magic numbers in the state hierarchy of finite automata", journal = "Inf. Comput.", volume = "205", number = "11", pages = "1652--1670", doi = "10.1016/j.ic.2007.07.001", ) @inproceedings(GGP12, author = "Viliam Geffert and Bruno Guillon and Giovanni Pighizzini", year = "2012", title = "Two-way automata making choices only at the endmarkers", editor = "Adrian Horia Dediu and Carlos Mart\'{\i }n-Vide", booktitle = "LATA", series = "Lecture Notes in Computer Science", volume = "7183", publisher = "Springer", pages = "264--276", doi = "10.1007/978-3-642-28332-1_23", url = "http://arxiv.org/abs/1110.1263", ) @article(GMP03, author = "Viliam Geffert and Carlo Mereghetti and Giovanni Pighizzini", year = "2003", title = "Converting two-way nondeterministic unary automata into simpler automata", journal = "Theor. Comput. Sci.", volume = "295", pages = "189--203", doi = "10.1016/S0304-3975(02)00403-6", ) @article(GMP07, author = "Viliam Geffert and Carlo Mereghetti and Giovanni Pighizzini", year = "2007", title = "Complementing two-way finite automata", journal = "Inf. Comput.", volume = "205", number = "8", pages = "1173--1187", doi = "10.1016/j.ic.2007.01.008", ) @article(GP11, author = "Viliam Geffert and Giovanni Pighizzini", year = "2011", title = "Two-way unary automata versus logarithmic space", journal = "Inf. Comput.", volume = "209", number = "7", pages = "1016--1025", doi = "10.1016/j.ic.2011.03.003", ) @book(HU79, author = "John E. Hopcroft and Jeffrey D. Ullman", year = "1979", title = "Introduction to Automata Theory, Languages and Computation", publisher = "Addison-Wesley", ) @inproceedings(HS03, author = "Juraj Hromkovi\v {c} and Georg Schnitger", year = "2003", title = "Nondeterminism versus determinism for two-way finite automata: Generalizations of {S}ipser's separation", editor = "Jos C. M. Baeten and Jan Karel Lenstra and Joachim Parrow and Gerhard J. Woeginger", booktitle = "ICALP", series = "Lecture Notes in Computer Science", volume = "2719", publisher = "Springer", pages = "439--451", doi = "10.1007/3-540-45061-0_36", ) @article(Imm88, author = "Neil Immerman", year = "1988", title = "Nondeterministic space is closed under complementation", journal = "SIAM J. Comput.", volume = "17", number = "5", pages = "935--938", doi = "10.1137/0217058", ) @inproceedings(KP12b, author = "Christos Kapoutsis and Giovanni Pighizzini", year = "2012", title = "Reversal hierarchies for small {2DFA}s", booktitle = "MFCS 2012", series = "Lecture Notes in Computer Science", publisher = "Springer", note = "To appear", ) @inproceedings(KP12a, author = "Christos Kapoutsis and Giovanni Pighizzini", year = "2012", title = "Two-way automata characterizations of L/poly versus NL", editor = "Edward A.\ Hirsch and Juhani Karhum{\"a}ki and Arto Lepist{\"o} and Michail Prilutskii", booktitle = "CSR", series = "Lecture Notes in Computer Science", volume = "7353", publisher = "Springer", pages = "217--228", ) @inproceedings(Kap05, author = "Christos A. Kapoutsis", year = "2005", title = "Removing bidirectionality from nondeterministic finite automata", editor = "Joanna Jedrzejowicz and Andrzej Szepietowski", booktitle = "MFCS", series = "Lecture Notes in Computer Science", volume = "3618", publisher = "Springer", pages = "544--555", doi = "10.1007/11549345_47", ) @inproceedings(Kap11b, author = "Christos A. Kapoutsis", year = "2011", title = "Nondeterminism is essential in small 2{FA}s with few reversals", editor = "Luca Aceto and Monika Henzinger and Jiri Sgall", booktitle = "ICALP (2)", series = "Lecture Notes in Computer Science", volume = "6756", publisher = "Springer", pages = "198--209", doi = "10.1007/978-3-642-22012-8_15", ) @inproceedings(Kap11a, author = "Christos A. Kapoutsis", year = "2011", title = "Two-way automata versus logarithmic space", editor = "Alexander S. Kulikov and Nikolay K. Vereshchagin", booktitle = "CSR", series = "Lecture Notes in Computer Science", volume = "6651", publisher = "Springer", pages = "359--372", doi = "10.1007/978-3-642-20712-9_28", ) @inproceedings(Kap12, author = "Christos A. Kapoutsis", year = "2012", title = "Minicomplexity", editor = "Martin Kutrib and Nelma Moreira and Rog{\'e}rio Reis", booktitle = "DCFS", series = "Lecture Notes in Computer Science", volume = "7386", publisher = "Springer", pages = "20--42", doi = "10.1007/978-3-642-31623-4_2", ) @article(KKM12, author = "Christos A. Kapoutsis and Richard Kr{\'a}lovic and Tobias M{\"o}mke", year = "2012", title = "Size complexity of rotating and sweeping automata", journal = "J. Comput. Syst. Sci.", volume = "78", number = "2", pages = "537--558", doi = "10.1016/j.jcss.2011.06.004", ) @incollection(KL82, author = "R.M. Karp and R.J. Lipton", year = "1982", title = "{Turing machines that take advice}", editor = "{E.\ Engeler et al}", booktitle = "{Logic and Algorithmic}", publisher = "L'Enseignement Math{\'e}matique", address = "Gen{\`e}ve", pages = "191--209", ) @inproceedings(KO11, author = "Michal Kunc and Alexander Okhotin", year = "2011", title = "Describing periodicity in two-way deterministic finite automata using transformation semigroups", editor = "Giancarlo Mauri and Alberto Leporati", booktitle = "Developments in Language Theory", series = "Lecture Notes in Computer Science", volume = "6795", publisher = "Springer", pages = "324--336", doi = "10.1007/978-3-642-22321-1_28", ) @inproceedings(KMP12, author = "Martin Kutrib and Andreas Malcher and Giovanni Pighizzini", year = "2012", title = "Oblivious two-way finite automata: decidability and complexity", editor = "David Fern{\'a}ndez-Baca", booktitle = "LATIN", series = "Lecture Notes in Computer Science", volume = "7256", publisher = "Springer", pages = "518--529", doi = "10.1007/978-3-642-29344-3_44", ) @article(Lup66, author = "O.B. Lupanov", year = "1963", title = "A comparison of two types of finite automata", journal = "Problemy Kibernet", volume = "9", pages = "321--326", note = "(in Russian). German translation: \"Uber den Vergleich zweier Typen endlicher Quellen, Probleme der Kybernetik 6, 329--335 (1966)", ) @article(Me08, author = "Carlo Mereghetti", year = "2008", title = "Testing the descriptional power of small Turing machines on nonregular language acceptance", journal = "Int. J. Found. Comput. Sci.", volume = "19", number = "4", pages = "827--843", doi = "10.1142/S012905410800598X", ) @article(MP01, author = "Carlo Mereghetti and Giovanni Pighizzini", year = "2001", title = "Optimal simulations between unary automata", journal = "SIAM J. Comput.", volume = "30", number = "6", pages = "1976--1992", doi = "10.1137/S009753979935431X", ) @inproceedings(MF71, author = "A. R. Meyer and M. J. Fischer", year = "1971", title = "Economy of description by automata, grammars, and formal systems", booktitle = "SWAT '71: Proceedings of the 12th Annual Symposium on Switching and Automata Theory (swat 1971)", publisher = "IEEE Computer Society", address = "Washington, DC, USA", pages = "188--191", ) @article(Mic81, author = "Silvio Micali", year = "1981", title = "Two-way deterministic finite automata are exponentially more succinct than sweeping automata", journal = "Inf. Process. Lett.", volume = "12", number = "2", pages = "103--105", doi = "10.1016/0020-0190(81)90012-0", ) @article(Moo71, author = "F.R. Moore", year = "1971", title = "On the bounds for state-set size in the proofs of equivalence between deterministic, nondeterministic, and two-way finite automata", journal = "Computers, IEEE Transactions on", volume = "C-20", number = "10", pages = "1211 -- 1214", doi = "10.1109/T-C.1971.223108", ) @article(RS59, author = "M. O. Rabin and D. Scott", year = "1959", title = "Finite automata and their decision problems", journal = "IBM J. Res. Dev.", volume = "3", number = "2", pages = "114--125", doi = "10.1147/rd.32.0114", ) @inproceedings(SS78, author = "William J. Sakoda and Michael Sipser", year = "1978", title = "Nondeterminism and the size of two-way finite automata", editor = "Richard J. Lipton and Walter A. Burkhard and Walter J. Savitch and Emily P. Friedman and Alfred V. Aho", booktitle = "STOC", publisher = "ACM", pages = "275--286", doi = "10.1145/800133.804357", ) @article(Sav70, author = "Walter J. Savitch", year = "1970", title = "Relationships between nondeterministic and deterministic tape complexities", journal = "J. Comput. Syst. Sci.", volume = "4", number = "2", pages = "177--192", doi = "10.1016/S0022-0000(70)80006-X", ) @inproceedings(Saw10, author = "Zdenek Sawa", year = "2010", title = "Efficient construction of semilinear representations of languages accepted by unary NFA", editor = "Anton\'{\i }n Kucera and Igor Potapov", booktitle = "RP", series = "Lecture Notes in Computer Science", volume = "6227", publisher = "Springer", pages = "176--182", doi = "10.1007/978-3-642-15349-5_12", ) @article(Sh59, author = "J. C. Shepherdson", year = "1959", title = "The reduction of two-way automata to one-way automata", journal = "IBM J. Res. Dev.", volume = "3", number = "2", pages = "198 --200", doi = "10.1147/rd.32.0198", ) @article(Sip80, author = "Michael Sipser", year = "1980", title = "Lower bounds on the size of sweeping automata", journal = "J. Comput. Syst. Sci.", volume = "21", number = "2", pages = "195--202", doi = "10.1016/0022-0000(80)90034-3", ) @article(Sze88, author = "R{\'o}bert Szelepcs{\'e}nyi", year = "1988", title = "The method of forced enumeration for nondeterministic automata", journal = "Acta Inf.", volume = "26", number = "3", pages = "279--284", doi = "10.1007/BF00299636", )