Page d'accueil	encyclopedie-enligne.com en page d'accueil
Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] | Liste Catégories | Une page au hasard | Pages liées

Pré-ordre de simulation

Une simulation est une relation sur un système de transition d'états étiqueté qui est compatible avec la relation de transition, et qui de plus a la propriété d'être un pré-ordre.