{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:59:06Z","timestamp":1725890346333},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642316227"},{"type":"electronic","value":"9783642316234"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31623-4_15","type":"book-chapter","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T05:03:34Z","timestamp":1341810214000},"page":"196-208","source":"Crossref","is-referenced-by-count":3,"title":["Descriptional Complexity of Biautomata"],"prefix":"10.1007","author":[{"given":"Galina","family":"Jir\u00e1skov\u00e1","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ond\u0159ej","family":"Kl\u00edma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1145\/321239.321249","volume":"11","author":"J. Brzozowski","year":"1964","unstructured":"Brzozowski, J.: Derivatives of regular expressions. J. ACM\u00a011, 481\u2013494 (1964)","journal-title":"J. ACM"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0304-3975(86)90142-8","volume":"47","author":"M. Chrobak","year":"1986","unstructured":"Chrobak, M.: Finite automata and unary languages. Theoret. Comput. Sci.\u00a047, 149\u2013158 (1986); Erratum: Theoret. Comput. Sci. 302, 497\u2013498 (2003)","journal-title":"Theoret. Comput. Sci."},{"key":"15_CR3","unstructured":"Hall Jr., M.: Theory of Groups. Macmillan (1959)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/978-3-642-22600-7_17","volume-title":"DCFS","author":"G. Jir\u00e1skov\u00e1","year":"2011","unstructured":"Jir\u00e1skov\u00e1, G., \u0160ebej, J.: Note on reversal of binary regular languages. In: Holzer, M., Kutrib, M., Pighizzini, G. (eds.) DCFS 2011. LNCS, vol.\u00a06808, pp. 212\u2013221. Springer, Heidelberg (2011)"},{"key":"15_CR5","unstructured":"Kl\u00edma, O., Pol\u00e1k, L.: On biautomata. To appear in RAIRO, \n                    \n                      http:\/\/math.muni.cz\/~klima\/Math\/publications.html\n                    \n                    \n                   (previous version: Non-Classical Models for Automata and Applications, NCMA 2011, pp. 153\u2013164)"},{"key":"15_CR6","unstructured":"Kl\u00edma, O., Pol\u00e1k, L.: Biautomata for k-Piecewise Testable Languages. Accepted at DLT (2012), preprint available at, \n                    \n                      http:\/\/math.muni.cz\/~klima\/Math\/publications.html"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-540-75292-9_24","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2007","author":"R. Loukanova","year":"2007","unstructured":"Loukanova, R.: Linear Context Free Languages. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol.\u00a04711, pp. 351\u2013365. Springer, Heidelberg (2007)"},{"key":"15_CR8","first-page":"337","volume":"5","author":"Y.I. Lyubich","year":"1964","unstructured":"Lyubich, Y.I.: Estimates for optimal determinization of nondeterministic autonomous automata. Sib. Mat. Zh.\u00a05, 337\u2013355 (1964)","journal-title":"Sib. Mat. Zh."},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1007\/978-3-642-59136-5_10","volume-title":"Handbook of Formal Languages","author":"J.-E. Pin","year":"1997","unstructured":"Pin, J.-E.: Chapter 10: Syntactic semigroups. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol.\u00a0I, pp. 679\u2013746. Springer, Heidelberg (1997)"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1016\/S0019-9958(65)90108-7","volume":"8","author":"M.P. Sch\u00fctzenberger","year":"1965","unstructured":"Sch\u00fctzenberger, M.P.: On finite monoids having only trivial subgroups. Information and Control\u00a08, 190\u2013194 (1965)","journal-title":"Information and Control"},{"key":"15_CR11","volume-title":"Introduction to the theory of computation","author":"M. Sipser","year":"1997","unstructured":"Sipser, M.: Introduction to the theory of computation. PWS Publishing Company, Boston (1997)"},{"key":"15_CR12","unstructured":"\u0160ebej, J.: Reversal of regular languages and state complexity. In: Pardubsk\u00e1, D. (ed.) Proc. 10th ITAT, \u0160af\u00e1rik University, Ko\u0161ice, pp. 47\u201354 (2010)"},{"key":"15_CR13","series-title":"LNCS","first-page":"214","volume-title":"Proc. ICALP","author":"I. Simon","year":"1975","unstructured":"Simon, I.: Piecewise Testable Events. In: GI-Fachtagung 1975. LNCS, vol.\u00a033, pp. 214\u2013222. Springer, Heidelberg (1975)"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-642-59136-5_2","volume-title":"Handbook of Formal Languages","author":"S. Yu","year":"1997","unstructured":"Yu, S.: Chapter\u00a02: Regular languages. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol.\u00a0I, pp. 41\u2013110. Springer, Heidelberg (1997)"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0304-3975(92)00011-F","volume":"125","author":"S. Yu","year":"1994","unstructured":"Yu, S., Zhuang, Q., Salomaa, K.: The state complexity of some basic operations on regular languages. Theoret. Comput. Sci.\u00a0125, 315\u2013328 (1994)","journal-title":"Theoret. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Descriptional Complexity of Formal Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31623-4_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:40:35Z","timestamp":1620128435000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31623-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642316227","9783642316234"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31623-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}