machine simulation
machine simulation The process whereby one machine M1 can be made to simulate or behave like a second machine M2. There are a number of ways of formalizing simulation for each class of machines. For example, let there be functions g and h that perform encoding and decoding roles respectively: g : M1 → M2, h : M2 → M1
g encodes information for machine M1 and produces corresponding information for machine M2; h is the inverse function. Machine M2 is said to simulate machine M1 if it is possible to specify a translation algorithm such that, when given a program P1 for M1, it produces a corresponding program P2 for M2; further, the effect of P1 on M1 should be equivalent to the effect of
applying function g
then executing P2 on M2
then applying function h.
In symbols, P1 = h P2 g
An equally useful formulation has functions g : M1 → M2, h : M1 → M2
and the simulation criterion h P1 = P2 g
Machine simulation of this kind is generally discussed for idealized abstract machines, such as Turing machines, and for formal models of microprocessors. It provides a useful approach to defining the correctness of implementations. See also machine equivalence.
g encodes information for machine M1 and produces corresponding information for machine M2; h is the inverse function. Machine M2 is said to simulate machine M1 if it is possible to specify a translation algorithm such that, when given a program P1 for M1, it produces a corresponding program P2 for M2; further, the effect of P1 on M1 should be equivalent to the effect of
applying function g
then executing P2 on M2
then applying function h.
In symbols, P1 = h P2 g
An equally useful formulation has functions g : M1 → M2, h : M1 → M2
and the simulation criterion h P1 = P2 g
Machine simulation of this kind is generally discussed for idealized abstract machines, such as Turing machines, and for formal models of microprocessors. It provides a useful approach to defining the correctness of implementations. See also machine equivalence.
More From encyclopedia.com
Sewing Machine , Background
Before 1900, women spent many of their daylight hours sewing clothes for themselves and their families by hand. Women also formed the majo… Machine , machine, arrangement of moving and stationary mechanical parts used to perform some useful work or to provide transportation. From a historical persp… Machine Gun , Machine Guns are repeating firearms that when triggered will load and fire automatically until their ammunition is exhausted. In 1861, the U.S. Army… Turing Machine , British mathematician Alan Turing (1912–1954) described what became known as the "Turing Machine" in his 1936 paper, "On Computable Numbers, with an… Automation , Automation is the use of scientific and technological principles in the manufacture of machines that take over work normally done by humans. This def… Typewriter , TYPEWRITER. The idea of the typewriter emerged long before the technology existed for its practical or economical production. A patent was issued in…
You Might Also Like
NEARBY TERMS
machine simulation