Gurevich Abstract State Machines and Schoenhage Storage Modification Machines
| dc.creator | Dexter,Scott | |
| dc.creator | Doyle,Patrick | |
| dc.creator | Gurevich,Yuri | |
| dc.date | 1997 | |
| dc.date.accessioned | 2024-02-06T12:48:46Z | |
| dc.date.available | 2024-02-06T12:48:46Z | |
| dc.description | We demonstrate that Schoenhage storage modification machines are equivalent, in a strong sense, to unary abstract state machines. We also show that if one extends the Schoenhage model with a pairing function and removes the unary restriction, then equivalence between the two machine models survives. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-003-04-0279 | |
| dc.identifier | https://lib.jucs.org/article/27349/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/7139 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 3(4): 279-303 | |
| dc.title | Gurevich Abstract State Machines and Schoenhage Storage Modification Machines | |
| dc.type | Research Article |