{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:15Z","timestamp":1760202615225,"version":"3.38.0"},"reference-count":7,"publisher":"World Scientific Pub Co Pte Ltd","issue":"05","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2010,10]]},"abstract":"<jats:p>In this paper we extend finite-memory automata with non-deterministic reassignment that allows an automaton to \"guess\" the future content of its registers, and introduce the corresponding notion of a regular expression over an infinite alphabet.<\/jats:p>","DOI":"10.1142\/s0129054110007532","type":"journal-article","created":{"date-parts":[[2010,10,5]],"date-time":"2010-10-05T09:40:06Z","timestamp":1286271606000},"page":"741-760","source":"Crossref","is-referenced-by-count":19,"title":["FINITE-MEMORY AUTOMATA WITH NON-DETERMINISTIC REASSIGNMENT"],"prefix":"10.1142","volume":"21","author":[{"given":"MICHAEL","family":"KAMINSKI","sequence":"first","affiliation":[{"name":"Department of Computer Science, Technion \u2013 Israel Institute of Technology, Haifa 32000, Israel"}]},{"given":"DANIEL","family":"ZEITLIN","sequence":"additional","affiliation":[{"name":"Eternix Ltd., Azrieli Center, Round Tower, P.O.B. 65361, Tel Aviv 61653, Israel"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"doi-asserted-by":"publisher","key":"rf1","DOI":"10.1007\/s002360050120"},{"doi-asserted-by":"publisher","key":"rf2","DOI":"10.1007\/978-3-642-01748-3_8"},{"doi-asserted-by":"publisher","key":"rf4","DOI":"10.1016\/0304-3975(94)90242-9"},{"key":"rf6","doi-asserted-by":"crossref","first-page":"301","DOI":"10.3233\/FUN-2006-69304","volume":"69","author":"Kaminski M.","journal-title":"Fundamenta Informaticae"},{"doi-asserted-by":"publisher","key":"rf7","DOI":"10.1007\/978-3-540-78127-1_21"},{"doi-asserted-by":"publisher","key":"rf9","DOI":"10.1145\/1013560.1013562"},{"doi-asserted-by":"publisher","key":"rf10","DOI":"10.1006\/inco.1994.1085"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054110007532","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T06:35:53Z","timestamp":1740551753000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054110007532"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10]]},"references-count":7,"journal-issue":{"issue":"05","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2010,10]]}},"alternative-id":["10.1142\/S0129054110007532"],"URL":"https:\/\/doi.org\/10.1142\/s0129054110007532","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"type":"print","value":"0129-0541"},{"type":"electronic","value":"1793-6373"}],"subject":[],"published":{"date-parts":[[2010,10]]}}}