Sebuah model komputasi yang terdiri dari sejumlah negara dan transisi antara negara-negara bagian, mungkin dengan tindakan yang menyertainya.