b"\n_START_ARTICLE_\nBisimulazione\n_START_PARAGRAPH_\nNel campo dell'informatica teorica la bisimulazione \xc3\xa8 una relazione binaria tra sistemi a transizione di stati, che associa due sistemi quando si comportano nello stesso modo, quando cio\xc3\xa8 un sistema simula l'altro e viceversa._NEWLINE_Intuitivamente due sistemi sono bisimilari se le transizioni di uno possono essere ordinatamente mimate dall'altro, ed \xc3\xa8 in questo senso che si dice che un osservatore non \xc3\xa8 in grado di distinguerli."