Изчислителни модел, който се състои от краен брой членки и преходи между тези държави, евентуално със съпътстващи действия.