Đặc tả và kiểm chứng tính bất biến của các hệ đa tác tử

Với cách tiếp cận này, chúng ta không cần chỉ ra tất cả các trạng thái của hệ thống mà chỉ cần chỉ ra trạng thái khởi tạo và quy luật chuyển đến các trạng thái tiếp theo của [r]