Un model computacional consisteix en un nombre finit d'Estats i les transicions entre aquests Estats, possiblement amb accions d'acompanyament.