– Nel caso di applicazioni a macchine automatiche o automi, indica un procedimento di calcolo esplicito e descrivibile attraverso un insieme di regole, costituite da sequenze logiche di istruzioni elementari e non ambigue, che conduce a un determinato risultato atteso, attraverso l’applicazione, per un numero finito di volte, di quelle stesse regole.