{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,27]],"date-time":"2023-10-27T14:43:34Z","timestamp":1698417814782},"reference-count":6,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":3969,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1996,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this note we consider register\u2010machines with symbol manipulation capabilities. They can form words over a given alphabet in their registers by appending symbols to the strings already stored. These machines are similar to Post's normal systems and the related machine\u2010models discussed in the literature. But unlike the latter devices they are deterministic and are not allowed to read symbols from the front of the registers. Instead they can compare registers and erase them. At first glance it is surprising that in general these devices are as powerful as the seemingly stronger models. Here we investigate the borderline of universality for these machines.<\/jats:p><jats:p>Mathematics Subject Classification: 03D20, 68Q05, 68Q10.<\/jats:p>","DOI":"10.1002\/malq.19960420127","type":"journal-article","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T17:48:26Z","timestamp":1180201706000},"page":"312-318","source":"Crossref","is-referenced-by-count":0,"title":["The Computation of Partial Recursive Word\u2010Functions Without Read Instructions"],"prefix":"10.1002","volume":"42","author":[{"given":"Holger","family":"Petersen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(74)80027-9"},{"key":"e_1_2_1_3_2","volume-title":"Introduction to Formal Language Theory","author":"Harrison M. A.","year":"1978"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.2307\/1970290"},{"key":"e_1_2_1_5_2","volume-title":"Computation: Finite and Infinite Machines","author":"Minsky M.","year":"1967"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19860321309"},{"key":"e_1_2_1_7_2","first-page":"245","article-title":"St\u00e4rke\u2010Relationen f\u00fcr URM\u2010Befehlssysteme","volume":"12","author":"Voelkel L.","year":"1976","journal-title":"EIK"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19960420127","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19960420127","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T22:11:05Z","timestamp":1698358265000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19960420127"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":6,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["10.1002\/malq.19960420127"],"URL":"https:\/\/doi.org\/10.1002\/malq.19960420127","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}