State & Behavior

Turing Machine

Image Credit: Wikipedia

State Machine

Image Credit: Wikipedia

State & Behavior

State & Behavior

State & Behavior

State & Behavior

State & Behavior

Encapsulation

A module's behavior should only modify that module's state

This is the scope of the module

We can therefore reason about each module independently