Gurevich Abstract State Machines and Schoenhage Storage Modification Machines
Дата
Авторы
Dexter,Scott
Doyle,Patrick
Gurevich,Yuri
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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.