Birleşik ve muhtemelen eşlik eden eylemler ile bu durumlar arasında geçişler sınırlı sayıda oluşan bir bilgisayar modeli.