While at the lowest level we definitely need to "control a machine through a sequence of states", at the higher level we often use langauages that allow us to abstract out of any states. Think about Prolog, functional languages, SQL ... there we do not specify what states to go through. We merely specify some relations or properties of the results and leave the "conversion" to sequence of states/commands to someone else.

  Jenda