@claire yeah, it's an abstraction for reasoning about computation that is decoupled from physical machine operations (contrast with the Turing machine)