machine equivalence

Updated About content Print Article Share Article
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.