From HomoExcelsior

An idealized computer consisting of an infinite tape and a read-write "head" which moves back and forth on the tape, reading and writing, according to a rule set that refers to i) what it sees on the tape ii) an internal "memory" state.

---