State Abstraction

• Abstract state == similar to "enum"s, visible from outside.
  
• Mapping of concrete (internal) states to abstract states ... programmer responsibility