Automa (informatica): differenze tra le versioni

nessun oggetto della modifica
m (→‎Collegamenti esterni: Bot, replaced: Categoria:Linguaggi formali → Categoria:Teoria dei linguaggi formali)
Nessun oggetto della modifica
In teoria dei [[sistema dinamico|sistemi dinamici]], un '''automa''' è un [[sistema dinamico]] discreto (nella scansione del tempo e nella descrizione del suo stato) e invariante (il sistema si comporta alla stessa maniera indipendentemente dall'istante di tempo in cui agisce).
 
Quando l'automa si trova in un dato ''stato'', esso può accettare solo un sottoinsieme dei simboli del suo alfabeto. L'evoluzione di un automa parte da un particolare stato detto '''stato iniziale'''. Un sottoinsieme privilegiato dei suoi stati è detto insieme degli '''stati finali''' o ''marcati''.d
 
In genere gli automi sono '''[[deterministico|deterministici]]''', ovvero dato uno stato ed un simbolo in ingresso è possibile una sola transizione.
 
Utente anonimo