Préordre de simulation

En informatique théorique un préordre de simulation est une relation entre systèmes de transition d'états associant des systèmes qui se comportent de la même façon au sens qu'un système simule l'autre.

Intuitivement, un système simule l'autre s'il peut imiter toutes ses actions.

La définition basique relie les états à l'intérieur d'un système de transition, mais c'est facilement adaptable pour mettre en relation deux systèmes de transition séparés en construisant un système consistant en l'union disjointe des composants correspondants.

---

Cet article écrit par ces auteurs est issu de Wikipédia et est conforme aux termes de la GFDL.

Catégories : Informatique théorique Méthode formelle

12 visiteurs connectés

• Record de la journée : 31 visiteurs à 01h07
• Record de la semaine : 37 visiteurs mardi à 01h40
• Record du mois : 311 visiteurs le 15 mai à 19h49
• Record de l'année : 828 visiteurs le 12 mars 2012 à 19h44
• Record absolu : 828 visiteurs le 12 mars 2012 à 19h44

Mentions légales
Site déclaré à la CNIL sous le n°871314
© 2002-2012 www.science-et-vie.net

Page imprimée mercredi 30 mai 2012 à partir de l'url :
« http://www.science-et-vie.net/definition-preordre-simulation-933.html »

Site déclaré à la Commission Nationale de l'Informatique et des Libertés (CNIL) sous le n°871314

© 2002-2012 www.science-et-vie.net