IP at
certain times may be predictable (or postdictable, after the
fact). The values of other variables at given times,
however, may not be deducable at all.
Such limits of self-observability
are reminiscent of Heisenberg's celebrated
uncertainty principle [11],
which states that certain physical measurements are necessarily
imprecise, since the measuring process affects the measured
quantity.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
....4
Even faster
search is possible for proof techniques
that do not read changing parts of in phase :
we do not have to recompute
results of their own, shorter, previously
executed prefixes.
The precise, recursive, backtracking-based
procedure for this case
is more complex than Method 2.1
and has been described
elsewhere [38,40].
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.