Ένα υπολογιστικό μοντέλο που αποτελείται από έναν πεπερασμένο αριθμό των μελών και μεταβάσεις μεταξύ των μελών, ενδεχομένως με Συνοδευτικές δράσεις.