Automata are used as theoretical models for computing machines, and are used for proofs about computability.
Automatele sunt folosite ca modele teoretice pentru mașinile de calcul, și sunt folosite pentru demonstrații ale calculabilității.