machine equivalence

views updated

machine equivalence 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.