machine equivalence

Show Summary Details

Quick Reference

The property describing two usually abstract machines that can simulate one another. Machines M1 and M2 are said to be equivalent if M1 can simulate M2 and M2 can simulate M1. Given precise definitions of the machines, precise definitions of simulation can be formulated. See machine simulation.

Subjects: Computing.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.