Simulare (computer)

Această intrare despre teoriile informaticii și matematicii aplicate este doar o schiță . Contribuiți la îmbunătățirea acestuia în conformitate cu convențiile Wikipedia .

În informatică teoretică, o simulare este o relație între sistemele de tranziție de stare care asociază sisteme care se comportă în același mod, în sensul că un sistem îl simulează pe celălalt. Intuitiv, un sistem simulează un alt sistem dacă mișcările sale se potrivesc cu cele ale sistemului simulat. Definiția de bază se referă la stări dintr-un sistem de tranziție, dar aceasta este ușor de adaptat pentru a lega două sisteme separate prin construirea unui sistem constând din unirea disjunctă a componentelor corespunzătoare.

Definiție formală

Având în vedere un sistem de tranziție de stare cu etichete (S, Λ, →), prin simulare înțelegem o relație binară R pe S (de exemplu, R ⊆ S × S ) astfel încât pentru fiecare p, q ∈ S, dacă ( p , q ) ∈ R atunci pentru fiecare α ∈ Λ și pentru fiecare p ' ∈ S ,

${\displaystyle \mathrm{<span\; class="mwe-math-element"><span\; class="mwe-math-mathml-inline\; mwe-math-mathml-a11y"\; style="display:\; none;">p</span></span>}\stackrel{\mathrm{<span\; class="mwe-math-element"><span\; class="mwe-math-mathml-inline\; mwe-math-mathml-a11y"\; style="display:\; none;">\alpha </span></span>}}{<span\; class="mwe-math-element"><span\; class="mwe-math-mathml-inline\; mwe-math-mathml-a11y"\; style="display:\; none;">\to </span></span>}{\mathrm{<span\; class="mwe-math-element"><span\; class="mwe-math-mathml-inline\; mwe-math-mathml-a11y"\; style="display:\; none;">p</span></span>}}^{<span\; class="mwe-math-element"><span\; class="mwe-math-mathml-inline\; mwe-math-mathml-a11y"\; style="display:\; none;">\prime </span></span>}}${\ displaystyle p {\ overset {\ alpha} {\ rightarrow}} p '}

implică existența unui q ' ∈ S astfel încât

${\displaystyle \mathrm{<span\; class="mwe-math-element"><span\; class="mwe-math-mathml-inline\; mwe-math-mathml-a11y"\; style="display:\; none;">q</span></span>}\stackrel{\mathrm{<span\; class="mwe-math-element"><span\; class="mwe-math-mathml-inline\; mwe-math-mathml-a11y"\; style="display:\; none;">\alpha </span></span>}}{<span\; class="mwe-math-element"><span\; class="mwe-math-mathml-inline\; mwe-math-mathml-a11y"\; style="display:\; none;">\to </span></span>}{\mathrm{<span\; class="mwe-math-element"><span\; class="mwe-math-mathml-inline\; mwe-math-mathml-a11y"\; style="display:\; none;">q</span></span>}}^{<span\; class="mwe-math-element"><span\; class="mwe-math-mathml-inline\; mwe-math-mathml-a11y"\; style="display:\; none;">\prime </span></span>}}${\ displaystyle q {\ overset {\ alpha} {\ rightarrow}} q '}

e (p ', q') ∈ R.

Elemente conexe

• Bisimulare

Portal IT

Portalul de matematică