{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T09:18:31Z","timestamp":1648891111762},"reference-count":3,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1972,3,1]],"date-time":"1972-03-01T00:00:00Z","timestamp":68256000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Systems Theory"],"published-print":{"date-parts":[[1972,3]]},"DOI":"10.1007\/bf01706094","type":"journal-article","created":{"date-parts":[[2005,6,21]],"date-time":"2005-06-21T09:20:54Z","timestamp":1119345654000},"page":"263-267","source":"Crossref","is-referenced-by-count":9,"title":["A medvedev characterization of sets recognized by generalized finite automata"],"prefix":"10.1007","volume":"6","author":[{"given":"O. L.","family":"Costich","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF01706094_CR1","series-title":"Annals of Math. Studies","first-page":"3","volume-title":"Automata Studies","author":"S. C. Kleene","year":"1956","unstructured":"S. C. Kleene, Representations of events in nerve nets and finite automata,Automata Studies, pp. 3\u201342, Annals of Math. Studies, No. 34, Princeton University Press, Princeton, N.J., 1956."},{"key":"BF01706094_CR2","volume-title":"Sequential Machines, Selected Papers","author":"E. F. Moore","year":"1964","unstructured":"I. T. Medvedev, On a class of events representable in a finite automaton, Supplement to the Russian translation ofAutomata Studies (C. Shannon and J. McCarthy, eds.), published by the Publishing Agency for Foreign Literature, Moscow, 1956; translated by Jacques J. Schorr-Kon for Lincoln Laboratory Report 34\u201373, June 1958. Also inE. F. Moore,Sequential Machines, Selected Papers, Addison-Wesley, Reading, Mass., 1964."},{"key":"BF01706094_CR3","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF01691346","volume":"2","author":"J. W. Thatcher","year":"1968","unstructured":"J. W. Thatcher andJ. B. Wright, Generalized finite automata theory with an application to a decision problem of second-order logic,Math. Systems Theory 2 (1968), 57\u201381.","journal-title":"Math. Systems Theory"}],"container-title":["Mathematical Systems Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01706094.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01706094\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01706094","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T12:32:17Z","timestamp":1557318737000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01706094"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1972,3]]},"references-count":3,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1972,3]]}},"alternative-id":["BF01706094"],"URL":"https:\/\/doi.org\/10.1007\/bf01706094","relation":{},"ISSN":["0025-5661","1433-0490"],"issn-type":[{"value":"0025-5661","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[1972,3]]}}}