Simulační předuspořádání
Z Wikipedie, otevřené encyklopedie
Tento článek z oblasti informatiky potřebuje úpravy. Můžete Wikipedii pomoci tím, že ho vhodně vylepšíte. Inspiraci k vylepšení lze hledat v radách na stránce Vzhled a styl, případně na diskusní stránce článku.
Simulační předuspořádání je v teoretické informatice relace mezi přechodovými systémy sdružující ty systémy, které se umí vzájemně simulovat.
Intuitivně systém simuluje jiný systém pokud umí dorovnat všechny jeho tahy.
Základní definice sdružuje stavy v rámci jednoho přechodového systému, což lze snadno rozšířit na dvojici systémů uvážením systému vzniklého prostým sloučení těchto dvou, pomocí disjunktního sloučení jeho částí.
