They are the Turing Machine without the (infinite) tape. What is your favourite abstraction of computer?