Indice
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