@book(Ar69, author = "M. A. Arbib", year = "1969", title = "Theories of Abstract Automata", series = "Automatic Computation", publisher = "Prentice-Hall", address = "London", ) @article(BGS09, author = "A. Badr and V. Geffert and I. Shipman", year = "2009", title = "Hyper-Minimizing Minimized Deterministic Finite State Automata", journal = "RAIRO--Informatique th{\'e}orique et Applications / Theoretical Informatics and Applications", volume = "43", number = "1", pages = "69--94", doi = "10.1051/ita:2007061", ) @misc(BrLi12, author = "J. Brzozowski and B. Liu", year = "2021", title = "Syntactic Complexity of Finite/Cofinite, Definite, and Reverse Definite Languages", howpublished = "arXiv:1203.2873v1 [cs.FL]", ) @article(BrFi80, author = "J. A. Brzozowski and F. E. Fitch", year = "1980", title = "Languages of $\mathcal {R}$-Trivial Monoids", journal = "Journal of Computer and System Sciences", volume = "20", number = "1", pages = "32--49", doi = "10.1016/0022-0000(80)90003-3", ) @inproceedings(CDJM13a, author = "J.-M. Champarnaud and J.-P. Dubernard and H. Jeanne and L. Mignot", year = "2013", title = "Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions", editor = "A. H. Dediu and C. Mart{\'\i }n-Vide and B. Truthe", booktitle = "Proc.\ of the $7$th International Conference on Language and Automata Theory and Applications", series = "LNCS", volume = "7810", publisher = "Springer", address = "Bilbao, Spain", pages = "202--213", doi = "10.1007/978-3-642-37064-9\_19", ) @article(Ha69a, author = "I. M. Havel", year = "1969", title = "The theory of regular events {II}", journal = "Kybernetika", volume = "6", pages = "520--544", ) @inproceedings(HoJa13c, author = "M. Holzer and S. Jakobi", year = "2013", title = "Minimization and Characterizations for Biautomata", editor = "S. Bensch and F. Drewes and R. Freund and F. Otto", booktitle = "Proc.\ of the $5$th International Workshop on Non-Classical Models of Automata and Applications", series = "books$@$ocg.at", volume = "294", publisher = "\"Osterreichische Computer Gesellschaft", address = "Ume\r a, Sweden", pages = "179--193", ) @inproceedings(HoJa13a, author = "M. Holzer and S. Jakobi", year = "2013", title = "Nondeterministic Biautomata and Their Descriptional Complexity", editor = "H. J{\"u}rgensen and R. Reis", booktitle = "Proc.\ of the $15$th International Workshop on Descriptional Complexity of Formal Systems", series = "LNCS", volume = "8031", publisher = "Springer", address = "London, Ontario, Canada", pages = "112--123", doi = "10.1007/978-3-642-39310-5\_12", ) @techreport(HoJa14, author = "M. Holzer and S. Jakobi", year = "2014", title = "Minimal and Hyper-Minimal Biautomata", type = "IFIG Research Report", number = "1401", institution = "Institut f\"ur Informatik", address = "Justus-Liebig-Universit{\"a}t Gie\ss en, Arndtstr.~2, D-35392 Gie\ss en, Germany", ) @inproceedings(JiKl12, author = "G. Jir{\'a}skov{\'a} and O. Kl{\'\i }ma", year = "2012", title = "Descriptional Complexity of Biautomata", editor = "M. Kutrib and N. Moreira and R. Reis", booktitle = "Proc.\ of the $14$th International Workshop Descriptional Complexity of Formal Systems", series = "LNCS", volume = "7386", publisher = "Springer", address = "Braga, Portugal", pages = "196--208", doi = "10.1007/978-3-642-31623-4\_15", ) @inproceedings(KlPo12a, author = "O. Kl{\'\i }ma and L. Pol{\'a}k", year = "2012", title = "Biautomata for $k$-Piecewise Testable Languages", editor = "H.-C. Yen and O. H. Ibarra", booktitle = "Proc.\ of the $16$th International Conference Developments in Language Theory", series = "LNCS", volume = "7410", publisher = "Springer", address = "Taipei, Taiwan", pages = "344--355", doi = "10.1007/978-3-642-31653-1\_31", ) @article(KlPo12, author = "O. Kl{\'\i }ma and L. Pol{\'a}k", year = "2012", title = "On Biautomata", journal = "RAIRO--Informatique th{\'e}orique et Applications / Theoretical Informatics and Applications", volume = "46", number = "4", pages = "573--592", doi = "10.1051/ita/2012014", ) @inproceedings(Lo07, author = "R. Loukanova", year = "2007", title = "Linear Context Free Languages", editor = "C. B. Jones and Z. Liu and J. Woodcock", booktitle = "Proc.\ of the $4$th International Colloquium Theoretical Aspects of Computing", series = "LNCS", volume = "4711", publisher = "Springer", address = "Macau, China", pages = "351--365", ) @book(McNaPa71, author = "R. McNaughton and S. Papert", year = "1971", title = "Counter-free automata", series = "Research monographs", volume = "65", publisher = "MIT Press", ) @book(Mi67, author = "M. L. Minsky", year = "1967", title = "Computation: Finite and Infinite Machines", series = "Automatic Computation", publisher = "Prentice-Hall", ) @article(PRS63, author = "M. Perles and M. O. Rabin and E. Shamir", year = "1963", title = "The Theory of Definite Automata", journal = "IEEE Transactions on Electronic Computers", volume = "EC-12", number = "3", pages = "233--243", doi = "10.1109/PGEC.1963.263534", ) @article(Ro67, author = "A. L. Rosenberg", year = "1967", title = "A Machine Realization of the Linear Context-Free Languages", journal = "Information and Control", volume = "10", pages = "175--188", doi = "10.1016/S0019-9958(67)80006-8", ) @article(ShTh74, author = "H.-J. Shyr and G. Thierrin", year = "1974", title = "Ordered Automata and Associated Languages", journal = "Tamkang Journal of Mathematics", volume = "5", number = "1", ) @inproceedings(Si75, author = "I. Simon", year = "1975", title = "Piecewise Testable Events", editor = "H. Brakhage", booktitle = "Proc.\ of the $2$nd {GI} Conference on Automata Theory and Formal Languages", series = "LNCS", volume = "33", publisher = "Springer", address = "Kaiserslautern, Germany", pages = "214--222", ) @article(Th68a, author = "G. Thierrin", year = "1968", title = "Permutation Automata", journal = "Mathematical Systems Theory", volume = "2", number = "1", pages = "83--90", doi = "10.1007/BF01691347", )