“machine simulation”的概念、定义、翻译、参考文献-科学参考

machine simulation

Computer

The process whereby one machine M₁ can be made to simulate or behave like a second machine M₂. 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 : M_{1} \to M_{2}, h : M_{2} \to M_{1}$
g encodes information for machine M₁ and produces corresponding information for machine M₂; h is the inverse function. Machine M₂ is said to simulate machine M₁ if it is possible to specify a translation algorithm such that, when given a program P₁ for M₁, it produces a corresponding program P₂ for M₂; further, the effect of P₁ on M₁ should be equivalent to the effect of
applying function g
then executing P₂ on M₂
then applying function h.
In symbols,
$P_{1} = h P_{2} g$
An equally useful formulation has functions
$g : M_{1} \to M_{2}, h : M_{1} \to M_{2}$
and the simulation criterion
$h P_{1} = P_{2} 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.

单词	machine simulation
释义	machine simulation Computer The process whereby one machine M₁ can be made to simulate or behave like a second machine M₂. 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 : M_{1} \to M_{2}, h : M_{2} \to M_{1}$ g encodes information for machine M₁ and produces corresponding information for machine M₂; h is the inverse function. Machine M₂ is said to simulate machine M₁ if it is possible to specify a translation algorithm such that, when given a program P₁ for M₁, it produces a corresponding program P₂ for M₂; further, the effect of P₁ on M₁ should be equivalent to the effect of applying function g then executing P₂ on M₂ then applying function h. In symbols, $P_{1} = h P_{2} g$ An equally useful formulation has functions $g : M_{1} \to M_{2}, h : M_{1} \to M_{2}$ and the simulation criterion $h P_{1} = P_{2} 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.
随便看	Keith, Sir Arthur Kekulé, Friedrich August von Stradonitz (1829–96) Kekulé structure Kekulé von Stradonitz, Friedrich August Kellner eyepiece Kellner, Karl Kellogg-Briand Pact (1928) kelly Kelly, James McNeal (1964– ) Kelly, Mark Edward (1964– ) Kelly, Ned (1855–80) Kelly, Petra (1947–92) Kelly, Scott Joseph (1964– ) kelp Kelsen, Hans (1881–1973) kelvin Kelvin balance Kelvin contacts Kelvin double bridge Kelvin effect Kelvin, Lord Kelvin, Lord (1824–1907) Kelvin scale kelvin scale kelvin(symbol: K)