Reading that changes what is stored

What is computation when reading changes the stored state?

Formülasyon

Reading, writing, and transition are explored as coupled operations. A repair path may disturb what it reads while trying to restore another disturbance.

Gerilim

An inspection path may alter the very history it was meant to recover.

Açık soru

Which state variables and intervention costs must be included for a claim of reversibility?