Liste des Groupes | Revenir à c theory |
On 3/1/2024 12:41 PM, Mike Terry wrote:
In principle an incorrect simulation is permissible. However, to proveObviously a simulator has access to the internal state (tape contents etc.) of the simulated machine. No problem there.
What isn't allowed is the simulated machine altering its own behaviour by accessing data outside of its own state. (I.e. accessing data from its parent simulators state.)
While an "active-simulator" [my own term] is at liberty to combine
straight simulation with add-on "enhancements" that extend the
functionality of the simulated machine, in doing so it would no
longer be a simulator in the sense you need it to be. So you
mustn't do this!
*You did not provide complete reasoning justifying this proclamation*The provided reasoning is sufficient. You can continue reasoning from
*You did not provide complete reasoning justifying this proclamation*
*You did not provide complete reasoning justifying this proclamation*
Because the simulator must perform every detail of the simulation ofYes, that is a correct interpretation.
the underlying machine it can watch every single state change of this
underlying machine and this does not change the behavior of the
simulated input AT ALL (relative to not watching the state changes).
Les messages affichés proviennent d'usenet.