Back آلة مجردة Arabic বিমূর্ত পরিগণক যন্ত্র Bengali/Bangla Màquina abstracta Catalan Automat (Informatik) German Αυτόματο Greek Abstract machine English Máquina abstracta Spanish دستگاه انتزاعی Persian Abstrakti kone Finnish Machine abstraite French
In teoria dei sistemi dinamici, un automa è un sistema dinamico discreto (nella scansione del tempo e nella descrizione del suo stato) e tempo-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.
In genere gli automi sono deterministici, ovvero dato uno stato e un simbolo in ingresso è possibile una sola transizione. Esistono comunque anche automi non deterministici, o stocastici.