Компьютерная модель, состоящая из конечного числа государств и переходы между этими государствами, возможно, с сопровождающих действия.