Skaičiuojamasis modelis sudarytas iš baigtinio skaičiaus valstybių ir perėjimus tarp tų valstybių, galbūt su veiksmais.