Stiamo lavorando per ripristinare l'app di Unionpedia nel Google Play Store
UscenteArrivo
🌟Abbiamo semplificato il nostro design per una migliore navigazione!
Instagram Facebook X LinkedIn

Simulazione (informatica)

Indice Simulazione (informatica)

Nell'informatica teorica una simulazione è una relazione tra sistemi a transizione di stati che associa sistemi che si comportano nella stessa maniera, nel senso che un sistema simula l'altro.

Indice

  1. 3 relazioni: Bisimulazione, Informatica teorica, Sistema a transizione di stati.

Bisimulazione

Nel campo dell'informatica teorica la bisimulazione è una relazione binaria tra sistemi a transizione di stati, che associa due sistemi quando si comportano nello stesso modo, quando cioè un sistema simula l'altro e viceversa.

Vedere Simulazione (informatica) e Bisimulazione

Informatica teorica

L'informatica teorica è una branca dell'informatica e della matematica che riguarda gli aspetti più astratti e matematici della computazione, come la teoria della computazione, la semantica della programmazione e la teoria della complessità computazionale.

Vedere Simulazione (informatica) e Informatica teorica

Sistema a transizione di stati

In informatica teorica un sistema a transizione di stati è una macchina astratta usata nella teoria della computazione. In letteratura viene indicato con LTS dal nome inglese Labelled Transition System.

Vedere Simulazione (informatica) e Sistema a transizione di stati