{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:13:10Z","timestamp":1725487990969},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730002"},{"type":"electronic","value":"9783540730019"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73001-9_16","type":"book-chapter","created":{"date-parts":[[2007,7,24]],"date-time":"2007-07-24T11:16:31Z","timestamp":1185275791000},"page":"152-161","source":"Crossref","is-referenced-by-count":3,"title":["Sofic Trace Subshift of a Cellular Automaton"],"prefix":"10.1007","author":[{"given":"Julien","family":"Cervelle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Formenti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Guillon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1017\/S0143385700003837","volume":"7","author":"R.H. Gilman","year":"1988","unstructured":"Gilman, R.H.: Classes of linear automata. Erg. Th. & Dyn. Sys.\u00a07, 105\u2013118 (1988)","journal-title":"Erg. Th. & Dyn. Sys."},{"key":"16_CR2","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1017\/S0143385700005435","volume":"10","author":"M. Hurley","year":"1990","unstructured":"Hurley, M.: Attractors in cellular automata. Erg. Th. & Dyn. Sys.\u00a010, 131\u2013140 (1990)","journal-title":"Erg. Th. & Dyn. Sys."},{"issue":"1\u20132","key":"16_CR3","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0304-3975(00)00012-8","volume":"259","author":"J.C. Dubacq","year":"2001","unstructured":"Dubacq, J.C., Durand, B., Formenti, E.: Kolmogorov complexity and cellular automata classification. Th. Comp. Sci.\u00a0259(1\u20132), 271\u2013285 (2001)","journal-title":"Th. Comp. Sci."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Durand, B., Formenti, E., Varouchas, G.: On undecidability of equicontinuity classification for cellular automata. In: Morvan, M., R\u00e9mila, E., (eds.) DMCS\u201903. Volume\u00a0AB of DMTCS Proc. Disc. Math. and Th. Comp. Sci. pp. 117\u2013128 (2003)","DOI":"10.46298\/dmtcs.2302"},{"key":"16_CR5","first-page":"177","volume":"2","author":"K. Culik","year":"1988","unstructured":"Culik, K., Yu, S.: Undecidability of cellular automata classification schemes. Comp. Sys.\u00a02, 177\u2013190 (1988)","journal-title":"Comp. Sys."},{"issue":"1\u20132","key":"16_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(94)00155-C","volume":"145","author":"G. Braga","year":"1995","unstructured":"Braga, G., Cattaneo, G., Flocchini, P., Vogliotti, C.Q.: Pattern growth in elementary cellular automata. Th. Comp. Sci.\u00a0145(1\u20132), 1\u201326 (1995)","journal-title":"Th. Comp. Sci."},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1017\/S014338579706985X","volume":"17","author":"P. K\u016frka","year":"1997","unstructured":"K\u016frka, P.: Languages, equicontinuity and attractors in cellular automata. Erg. Th. & Dyn. Sys.\u00a017, 417\u2013433 (1997)","journal-title":"Erg. Th. & Dyn. Sys."},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Formenti, E., Cervelle, J., Guillon, P.: Sofic trace of a cellular automaton. Technical report, Institut Gaspard Monge (march 2007), http:\/\/hal.archives-ouvertes.fr\/hal-00135811","DOI":"10.1007\/978-3-540-73001-9_16"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/BF01691062","volume":"3","author":"G.A. Hedlund","year":"1969","unstructured":"Hedlund, G.A.: Endomorphism and automorphism of the shift dynamical system. Math. Sys. Theory\u00a03, 320\u2013375 (1969)","journal-title":"Math. Sys. Theory"},{"key":"16_CR10","volume-title":"An introduction to symbolic dynamics and coding","author":"B. Marcus","year":"1995","unstructured":"Marcus, B., Lind, D.: An introduction to symbolic dynamics and coding. Cambridge University Press, Cambridge (1995)"},{"issue":"5","key":"16_CR11","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1007\/BF01295322","volume":"77","author":"B. Weiss","year":"1973","unstructured":"Weiss, B.: Subshifts of finite type and sofic systems. Monatshefte f\u00fcr Mathematik\u00a077(5), 462\u2013474 (1973)","journal-title":"Monatshefte f\u00fcr Mathematik"}],"container-title":["Lecture Notes in Computer Science","Computation and Logic in the Real World"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73001-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T10:26:43Z","timestamp":1683973603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73001-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730002","9783540730019"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73001-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}