@inproceedings(auy83, author = "Alfred V. Aho and Jeffrey D. Ullman and Mihalis Yannakakis", year = "1983", title = "On notions of information transfer in VLSI circuits", editor = "Johnson", pages = "133--139", url = "http://doi.acm.org/10.1145/800061.808742", ) @article(bi92, author = "Jean-Camille Birget", year = "1992", title = "Intersection and union of regular languages and state complexity", journal = "Inform. Process. Lett.", volume = "43", number = "4", pages = "185--190", url = "http://dx.doi.org/10.1016/0020-0190(92)90198-5", ) @article(bi93, author = "Jean-Camille Birget", year = "1993", title = "Partial orders on words, minimal elements of regular languages and state complexity", journal = "Theoret. Comput. Sci.", volume = "119", number = "2", pages = "267--291", url = "http://dx.doi.org/10.1016/0304-3975(93)90160-U", ) @article(bjl13, author = "Janusz A. Brzozowski and Galina Jir{\'a}skov{\'a} and Baiyu Li", year = "2013", title = "Quotient complexity of ideal languages", journal = "Theoret. Comput. Sci.", volume = "470", pages = "36--52", url = "http://dx.doi.org/10.1016/j.tcs.2012.10.055", ) @article(bjz14, author = "Janusz A. Brzozowski and Galina Jir{\'a}skov{\'a} and Chenglong Zou", year = "2014", title = "Quotient complexity of closed languages", journal = "Theory Comput. Syst.", volume = "54", number = "2", pages = "277--292", url = "http://dx.doi.org/10.1007/s00224 -013-9515-7", ) @article(csy02, author = "Cezar C{\^a}mpeanu and Kai Salomaa and Sheng Yu", year = "2002", title = "Tight lower bound for the state complexity of shuffle of regular languages", journal = "J. Autom. Lang. Comb.", volume = "7", number = "3", pages = "303--310", ) @article(ckp, author = "J.-M. Champarnaud and A. Khorsi and T. Parantho\"en", title = "Split and join for minimizing: Brzozowski's algorithm.", url = "http://jmc.feydakins.org/ps/c09psc02.ps", ) @article(gs96, author = "Ian Glaister and Jeffrey Shallit", year = "1996", title = "A lower bound technique for the size of nondeterministic finite automata", journal = "Inform. Process. Lett.", volume = "59", number = "2", pages = "75--77", url = "http://dx.doi.org/10.1016/0020-0190(96)00095-6", ) @proceedings(DBLP:conf/csr/2012, editor = "Edward A. Hirsch and Juhani Karhum{\"a}ki and Arto Lepist{\"o} and Michail Prilutskii", year = "2012", title = "Computer Science - Theory and Applications - 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings", series = "Lecture Notes in Computer Science", volume = "7353", publisher = "Springer", url = "http://dx.doi.org/10.1007/978-3-642-30642-6", ) @article(hk03, author = "Markus Holzer and Martin Kutrib", year = "2003", title = "Nondeterministic descriptional complexity of regular languages", journal = "Internat. J. Found. Comput. Sci.", volume = "14", number = "6", pages = "1087--1102", url = "http://dx.doi.org/10.1142/S0129054103002199", ) @book(hr97, author = "Juraj Hromkovic", year = "1997", title = "Communication complexity and parallel computing", publisher = "Springer", url = "http://dx.doi.org/10.1007/978-3-662-03442-2", ) @article(ji05, author = "Galina Jir{\'a}skov{\'a}", year = "2005", title = "State complexity of some operations on binary regular languages", journal = "Theoret. Comput. Sci.", volume = "330", number = "2", pages = "287--298", url = "http://dx.doi.org/10.1016/j.tcs.2004.04.011", ) @inproceedings(ji12, author = "Galina Jir{\'a}skov{\'a}", year = "2012", title = "Descriptional complexity of operations on alternating and boolean automata", editor = "Hirsch", pages = "196--204", url = "http://dx.doi.org/10.1007/978-3-642-30642-6_19", ) @article(jm11, author = "Galina Jir{\'a}skov{\'a} and Tom{\'a}\v {s} Masopust", year = "2011", title = "Complexity in union-free regular languages", journal = "Internat. J. Found. Comput. Sci.", volume = "22", number = "7", pages = "1639--1653", url = "http://dx.doi.org/10.1142/S0129054111008933", ) @article(jo08, author = "Galina Jir{\'a}skov{\'a} and Alexander Okhotin", year = "2008", title = "State complexity of cyclic shift", journal = "RAIRO Theor. Inform. Appl.", volume = "42", number = "2", pages = "335--360", url = "http://dx.doi.org/10.1051/ita:2007038", ) @article(js12, author = "Galina Jir{\'a}skov{\'a} and Juraj \v {S}ebej", year = "2012", title = "Reversal of binary regular languages", journal = "Theoret. Comput. Sci.", volume = "449", pages = "85--92", url = "http://dx.doi.org/10.1016/j.tcs.2012.05.008", ) @proceedings(DBLP:conf/stoc/STOC15, editor = "David S. Johnson and Ronald Fagin and Michael L. Fredman and David Harel and Richard M. Karp and Nancy A. Lynch and Christos H. Papadimitriou and Ronald L. Rivest and Walter L. Ruzzo and Joel I. Seiferas", year = "1983", title = "Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 25-27 April, 1983, Boston", publisher = "ACM", ) @article(krs09, author = "Jui-Yi Kao and Narad Rampersad and Jeffrey Shallit", year = "2009", title = "On NFAs where all states are final, initial, or both", journal = "Theoret. Comput. Sci.", volume = "410", number = "47-49", pages = "5010--5021", url = "http://dx.doi.org/10.1016/j.tcs.2009.07.049", ) @article(le81, author = "Ernst L. Leiss", year = "1981", title = "Succint representation of regular languages by boolean automata", journal = "Theoret. Comput. Sci.", volume = "13", pages = "323--330", url = "http://dx.doi.org/10.1016/S0304-3975(81)80005-9", ) @article(ma70, author = "A. N. Maslov", year = "1970", title = "Estimates of the number of states of finite automata", journal = "Dokl. Akad. Nauk SSSR", volume = "194", pages = "1266--1268 (Russian)", note = "English translation: Soviet Math. Dokl. {\bf 11} (1970) 1373--1375", ) @book(ma13, author = "Tom\'a\v {s} Masopust", year = "2010", title = "Personal communication", ) @article(mi66, author = "B. G. Mirkin", year = "1970", title = "On dual automata", journal = "Kibernetika (Kiev)", volume = "2", pages = "7--10 (Russian)", url = "http://dx.doi.org/10.1007/BF01072247", note = "English translation: Cybernetics {\bf 2}, (1966) 6--9", ) @article(ra06, author = "Narad Rampersad", year = "2006", title = "The state complexity of L$^{\unhbox \voidb@x \hbox {2}}$ and L$^{\unhbox \voidb@x \hbox {k}}$", journal = "Inform. Process. Lett.", volume = "98", number = "6", pages = "231--234", url = "http://dx.doi.org/10.1016/j.ipl.2005.06.011", ) @book(si97, author = "Michael Sipser", year = "1997", title = "Introduction to the theory of computation", publisher = "PWS Publishing Company", ) @article(yzs94, author = "Sheng Yu and Qingyu Zhuang and Kai Salomaa", year = "1994", title = "The state complexities of some basic operations on regular languages", journal = "Theoret. Comput. Sci.", volume = "125", number = "2", pages = "315--328", url = "http://dx.doi.org/10.1016/0304-3975(92)00011-F", )