รุ่น computational ที่ประกอบด้วยรัฐและเปลี่ยนระหว่างรัฐเหล่านั้น อาจจะด้วยการกระทำการซึ่งมาพร้อมกับจำนวนจำกัด