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 o uno stato di blocco, 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 ===
Utente anonimo