En datorbaserad modell består av ett begränsat antal stater och övergångar mellan dessa stater, eventuellt med kompletterande åtgärder.