{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T10:59:35Z","timestamp":1780743575445,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540083429","type":"print"},{"value":"9783540373056","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/3-540-08342-1_7","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:23:44Z","timestamp":1330187024000},"page":"87-94","source":"Crossref","is-referenced-by-count":12,"title":["Some recursively unsolvable problems relating to isolated cutpoints in probabilistic automata"],"prefix":"10.1007","author":[{"given":"A.","family":"Bertoni","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G.","family":"Mauri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Torelli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1016\/S0019-9958(63)90290-0","volume":"6","author":"M. O. Rabin","year":"1963","unstructured":"Rabin M. O.: \"Probabilistic automata\", Inform. and Control 6 (1963), 230\u2013245.","journal-title":"Inform. and Control"},{"key":"7_CR2","volume-title":"Automata Theory","author":"M. O. Rabin","year":"1966","unstructured":"Rabin M. O.: \"Lectures on classical and probabilistic automata\", in Automata Theory (E. R. Caianiello, ed.), Academic Press, New York (1966)."},{"key":"7_CR3","volume-title":"Stochastic Automata \u2014 Constructive Theory","author":"A. A. Lorenz","year":"1974","unstructured":"Lorenz A. A.: Stochastic Automata \u2014 Constructive Theory, Halsted Press \u2014 Wiley, New York (1974)."},{"key":"7_CR4","unstructured":"Podnieks K. M.: \"On cut-points of some finite stochastic automata\", Avtomat. i Vychisl. Tekhn. 5 (1970) (Russian)."},{"key":"7_CR5","volume-title":"Latviiskii matematicheskii ezhegodnik 3","author":"I. A. Metra","year":"1968","unstructured":"Metra I. A., A. A. Smilgais: \"On some possibilities of representation of nonregular events by stochastic automata\", in Latviiskii matematicheskii ezhegodnik 3, Riga, Zinatne (1968) (Russian)."},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-3-662-40087-6_6","volume-title":"GI 4. Jahrestagung","author":"A. Bertoni","year":"1975","unstructured":"Bertoni A.: \"The solution to problems relative to probabilistic automata in the frame of the formal languages theory\", in GI 4. Jahrestagung (G. Goos and J. Hartmanis eds.), Springer Verlag, Berlin-Heidelberg-New York (1975), 107\u2013112."},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1016\/S0019-9958(66)90092-1","volume":"9","author":"A. Paz","year":"1966","unstructured":"Paz A.: \"Some aspects of probabilistic automata\", Inform. and Control 9 (1966), 26\u201360.","journal-title":"Inform. and Control"},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/S0019-9958(67)80009-3","volume":"10","author":"A. Salomaa","year":"1967","unstructured":"Salomaa A.: \"On m-adic probabilistic automata\", Inform. and Control 10 (1967), 215\u2013219.","journal-title":"Inform. and Control"},{"key":"7_CR9","volume-title":"Introduction to Probabilistic Automata","author":"A. Paz","year":"1971","unstructured":"Paz A.: Introduction to Probabilistic Automata, Academic Press, New York-London (1971)."},{"key":"7_CR10","volume-title":"Formal Languages and Their Relation to Automata","author":"J. E. Hopcroft","year":"1969","unstructured":"Hopcroft J. E., J. D. Ullman: Formal Languages and Their Relation to Automata, Addison-Wesley, Reading (1969)."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08342-1_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:52:02Z","timestamp":1619556722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08342-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540083429","9783540373056"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-08342-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1977]]}}}