In der theoretischen Informatik bezeichnet Wirkung die Veränderung des Zustands, in dem sich eine abstrakte Maschine befindet. Manchmal wird auch von Seiteneffekt gesprochen, eine Bezeichnung, die auf eine Rückübersetzung des englischen side effect zurückgeht.
