Automa (informatica): differenze tra le versioni

==Automi con blocchi==

Esistono principalmente due tipi di blocchi: [[deadlock]] e livelock. Il primo avviene quando si giunge in uno stato che non rientra fra gli stati finali e ha Γ={Φ}, ovvero in cui non ci sono uscite. Un livelock si verifica invece quando si giunge all'interno di un insieme di stati, nessuno dei quali è uno stato finale, da cui non è più possibile uscire. La presenza di questi blocchi si può individuare con algoritmi che operano sui riguardanti i [[digrafo (matematica)|digrafi]] sottostanti.

 

==Operazioni con automi==