Simulační předuspořádání

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

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í.

Související články[editovat | editovat zdroj]