Un modèle de calcul consistant en un nombre fini d'États et les transitions entre ces États membres, éventuellement accompagnées d'actions.