Skaitļošanas modelis sastāv no galīgu skaitu valstu un pārejas starp šīm valstīm, iespējams, ar papildu darbības.