as in the title, I am looking for a formal proof how to show that models of indirect and direct RAM (random-access) machines are equivalent. I would really appreciate your help.

  • 2
    $\begingroup$ Good questions are self-contained. It would be useful to add the appropriate definitions. $\endgroup$ – dkaeae Jan 1 at 14:30

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.