{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:18:50Z","timestamp":1742635130864},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540243182"},{"type":"electronic","value":"9783540305002"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-30500-2_32","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T16:39:36Z","timestamp":1267461576000},"page":"315-316","source":"Crossref","is-referenced-by-count":10,"title":["Algebraic Hierarchical Decomposition of Finite State Automata: Comparison of Implementations for Krohn-Rhodes Theory"],"prefix":"10.1007","author":[{"given":"Attila","family":"Egri-Nagy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chrystopher L.","family":"Nehaniv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","unstructured":"GAP \u2013 Groups, Algorithms, and Programming, a system for computational discrete algebra Version 4.3. (2002), \n                    \n                      http:\/\/www.gap-system.org"},{"key":"32_CR2","unstructured":"Egri-Nagy, A., Nehaniv, C.L.: GrasperMachine, Computational Semigroup Theory for Formal Models of Understanding, experimental software packages (2003), \n                    \n                      http:\/\/graspermachine.sf.net"},{"key":"32_CR3","volume-title":"Automata, Languages and Machines","author":"S. Eilenberg","year":"1976","unstructured":"Eilenberg, S.: Automata, Languages and Machines, vol.\u00a0B. Academic Press, London (1976)"},{"key":"32_CR4","first-page":"81","volume-title":"The Prime Decomposition Theorem of the Algebraic Theory of Machines","author":"K. Krohn","year":"1968","unstructured":"Krohn, K., Rhodes, J.L., Tilson, B.R.: Algebraic Theory of Machines, Languages, and Semigroups. In: Arbib, M.A. (ed.) The Prime Decomposition Theorem of the Algebraic Theory of Machines, ch.\u00a05, pp. 81\u2013125. Academic Press, London (1968)"},{"key":"32_CR5","first-page":"418","volume-title":"Proc. 18th Annual International Computer Software and Applications Conference (COMPSAC 1994)","author":"C.L. Nehaniv","year":"1994","unstructured":"Nehaniv, C.L.: Algebraic engineering of understanding: Global hierarchical coordinates on computation for the manipulation of data, knowledge, and process. In: Proc. 18th Annual International Computer Software and Applications Conference (COMPSAC 1994), pp. 418\u2013425. IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"32_CR6","unstructured":"Nehaniv, C.L.: Algebra and formal models of understanding. In: Ito, M. (ed.) Semigroups, Formal Languages and Computer Systems, Kyoto Research Institute for Mathematics Sciences, RIMS Kokyuroku, August 1996, vol.\u00a0960, pp. 145\u2013154 (1996)"},{"key":"32_CR7","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1162\/106454600568311","volume":"6","author":"C.L. Nehaniv","year":"2000","unstructured":"Nehaniv, C.L., Rhodes, J.L.: The evolution and understanding of hierarchical complexity in biology from an algebraic perspective. Artificial Life\u00a06, 45\u201367 (2000)","journal-title":"Artificial Life"},{"key":"32_CR8","unstructured":"Rhodes, J.L.: Applications of Automata Theory and Algebra via the Mathematical Theory of Complexity to Finite-State Physics, Biology, Philosophy, Games, and Codes. Univ. California Berkeley Math Library (1971) (unpublished book)"}],"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-540-30500-2_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:57:17Z","timestamp":1605761837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30500-2_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540243182","9783540305002"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30500-2_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}