Published April 28, 1997
| Version v1
Journal article
Open
Gurevich Abstract State Machines and Schoenhage Storage Modification Machines
Authors/Creators
- 1. University of Michigan, United States of America
- 2. Stanford University, United States of America
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.