{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T09:33:02Z","timestamp":1773653582889,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642392733","type":"print"},{"value":"9783642392740","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39274-0_20","type":"book-chapter","created":{"date-parts":[[2013,7,11]],"date-time":"2013-07-11T01:07:42Z","timestamp":1373504862000},"page":"220-231","source":"Crossref","is-referenced-by-count":14,"title":["On the Length of Homing Sequences for Nondeterministic Finite State Machines"],"prefix":"10.1007","author":[{"given":"Natalia","family":"Kushik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nina","family":"Yevtushenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Agibalov, G., Oranov, A.: Lectures on Automata Theory. Tomsk (1984) (in Russian)"},{"issue":"6","key":"20_CR2","first-page":"301","volume":"12","author":"H.D. Burkhard","year":"1976","unstructured":"Burkhard, H.D.: Zum L\u00e4ngenproblem homogener Experimente an determinierten und nicht-deterministischen Automaten. Elektronische Informationsverarbeitung und Kybernetik\u00a012(6), 301\u2013306 (1976)","journal-title":"Elektronische Informationsverarbeitung und Kybernetik"},{"key":"20_CR3","unstructured":"Gill, A.: Introduction to the Theory of Finite State Machines. McGraw-Hill (1962)"},{"issue":"7","key":"20_CR4","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1016\/j.ipl.2011.12.012","volume":"112","author":"I. Hwang","year":"2012","unstructured":"Hwang, I., Yevtushenko, N., Cavalli, A.R.: Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs. Inf. Process. Lett.\u00a0112(7), 298\u2013301 (2012)","journal-title":"Inf. Process. Lett."},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BF01071771","volume":"23","author":"A.A. Klyachko","year":"1987","unstructured":"Klyachko, A.A., Rystsov, I.K., Spivak, M.A.: An extremal combinatorial problem associated with the bound on the length of a synchronizing word in an automaton. Cybernetics\u00a023, 165\u2013171 (1987)","journal-title":"Cybernetics"},{"key":"20_CR6","unstructured":"Kohavi, Z.: Switching and Finite Automata Theory. McGraw\u2013Hill (1978)"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-642-22256-6_20","volume-title":"Implementation and Application of Automata","author":"N. Kushik","year":"2011","unstructured":"Kushik, N., El-Fakih, K., Yevtushenko, N.: Preset and adaptive homing experiments for nondeterministic finite state machines. In: Bouchou-Markhoff, B., Caron, P., Champarnaud, J.-M., Maurel, D. (eds.) CIAA 2011. LNCS, vol.\u00a06807, pp. 215\u2013224. Springer, Heidelberg (2011)"},{"issue":"4","key":"20_CR8","first-page":"44","volume":"15","author":"P.V. Martugin","year":"2008","unstructured":"Martugin, P.V.: Lower bounds for the length of the shortest carefully synchronizing words for two- and three-letter partial automata. Diskretn. Anal. Issled. Oper.\u00a015(4), 44\u201356 (2008) (in Russian)","journal-title":"Diskretn. Anal. Issled. Oper."},{"key":"20_CR9","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall (1989)"},{"key":"20_CR10","first-page":"535","volume":"17","author":"J.-E. Pin","year":"1983","unstructured":"Pin, J.-E.: On two combinatorial problems arising from automata theory. Ann. Discrete Math.\u00a017, 535\u2013548 (1983)","journal-title":"Ann. Discrete Math."},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11498490_2","volume-title":"Model-Based Testing of Reactive Systems","author":"S. Sandberg","year":"2005","unstructured":"Sandberg, S.: Homing and synchronization sequences. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol.\u00a03472, pp. 5\u201333. Springer, Heidelberg (2005)"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Spitsyna, N., El-Fakih, K., Yevtushenko, N.: Studying the separability relation between finite state machines. Software Testing, Verification and Reliability\u00a017(4), 227\u2013241 (2007) (in Russian)","DOI":"10.1002\/stvr.374"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-540-88282-4_4","volume-title":"Language and Automata Theory and Applications","author":"M.V. Volkov","year":"2008","unstructured":"Volkov, M.V.: Synchronizing automata and the \u010cern\u00fd conjecture. In: Mart\u00edn-Vide, C., Otto, F., Fernau, H. (eds.) LATA 2008. LNCS, vol.\u00a05196, pp. 11\u201327. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39274-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T18:34:41Z","timestamp":1557945281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39274-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642392733","9783642392740"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39274-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}