{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T09:41:02Z","timestamp":1648806062501},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1970,9,1]],"date-time":"1970-09-01T00:00:00Z","timestamp":20995200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[1970,9]]},"DOI":"10.1007\/bf02238820","type":"journal-article","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T14:14:01Z","timestamp":1132668841000},"page":"349-370","source":"Crossref","is-referenced-by-count":11,"title":["The common algebraic structure of exit-automata and machines"],"prefix":"10.1007","volume":"6","author":[{"given":"Calvin C.","family":"Elgot","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02238820_CR1","doi-asserted-by":"crossref","unstructured":"Rutledge, J. D.: OnIanov's Program Schemata. Journal of the Association for Computing Machinery11, 1 (Januayy, 1964).","DOI":"10.1145\/321203.321204"},{"key":"BF02238820_CR2","first-page":"75","volume":"1","author":"I. I. Ianov","year":"1958","unstructured":"Ianov, I. I.: On the Logical Schemata of Algorithms. Problems of Cybernetics1, 75\u2013127 (1958).","journal-title":"Problems of Cybernetics"},{"key":"BF02238820_CR3","volume-title":"Kaluzhnen Graphs andIanov Writs in Logik und Logikkalk\u00fcl","author":"E. M. Fels","year":"1962","unstructured":"Fels, E. M.:Kaluzhnen Graphs andIanov Writs in Logik und Logikkalk\u00fcl. Munich: Verlag Karl Alber. 1962."},{"key":"BF02238820_CR4","unstructured":"Moore, E. F., (editor): Sequential Machines. Addison Wesley. 1964."},{"key":"BF02238820_CR5","unstructured":"Ginsburg, S.: An Introduction to Mathematical Machine Theory. Addison Wesley, 1962."},{"key":"BF02238820_CR6","first-page":"3","volume":"3","author":"C. Bohm","year":"1964","unstructured":"Bohm, C.: On a Family of Turing Machines and the Related Programming Language. ICC Bulletin3, 3 (July 1964).","journal-title":"ICC Bulletin"},{"key":"BF02238820_CR7","unstructured":"Bohm, C. andG. Jacopini: Flow Diagrams, Turing Machines and Languages with only Two Formation Rules. Presented at 1964. International Colloquium on Algebraic Linguistics and Automata Theory, Jerusalem, Israel."},{"key":"BF02238820_CR8","unstructured":"Glushkov, V. M. andA. A. Letichenskii: Theory of Algorithms and Discrete Processors, in Advances in Information Systems Science. Edited byJulius T. Tou."},{"key":"BF02238820_CR9","unstructured":"MacLane andBirkhoff: Algebra. Macmillan. 1967."},{"key":"BF02238820_CR10","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1016\/S0019-9958(67)90670-5","volume":"11","author":"Eilenberg","year":"1967","unstructured":"Eilenberg andWright: Automata in General Algebras. Information and Control.11, 4 (October, 1967).","journal-title":"Information and Control."},{"issue":"5","key":"BF02238820_CR11","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"F. W. Lawvere","year":"1963","unstructured":"Lawvere, F. W.: Functorial Semantics of Algebraic Theories. Proc. of Nat. Acad. of Sciences50, 5, pp. 869\u2013872 (Nov. 1963).","journal-title":"Proc. of Nat. Acad. of Sciences"},{"key":"BF02238820_CR12","unstructured":"Elgot, C. C.: The External Behavior of Machines. Proceedings of the Third Hawaii International Conference on System Sciences. 1970."},{"key":"BF02238820_CR13","volume-title":"Kaluzhnen Graphs andIanov Writs in Logik und Logikkalk\u00fcl","author":"Rabin","year":"1962","unstructured":"Rabin andScott: Finite Automata and Their Decision Problems in [3].."}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02238820.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02238820\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02238820","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T03:25:30Z","timestamp":1586575530000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02238820"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1970,9]]},"references-count":13,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1970,9]]}},"alternative-id":["BF02238820"],"URL":"https:\/\/doi.org\/10.1007\/bf02238820","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1970,9]]}}}