The picture of the machine itself should somehow show that it holds one of a finite set of states. A good visualization for that might be a circle with a small number of marks on its perimeter (say, 7) and a compass-like arrow pointing to one of them.
