Automa (informatica)
Un automa (un automa, più automi) è un concetto della matematica. A volte il concetto è chiamato macchina a stati. È come una macchina astratta.
Una tale macchina può ricevere un input, che viene rifiutato o accettato. È come un distributore automatico. Quando si compra qualcosa, bisogna inserire delle monete (o del denaro) nella macchina. Se sono le monete giuste, vengono accettate, e l'oggetto richiesto viene lasciato cadere in modo che possa essere rimosso. Se le monete sono sbagliate, vengono rifiutate.
Internamente, l'automa ha diversi stati in cui può trovarsi. Fornendogli un input può (o non può) cambiare il suo stato. In questo modo, l'automa passa attraverso tutti gli input, consumando un elemento (che i matematici chiamano simbolo) alla volta. Quando nessun simbolo è rimasto, l'automa è in un certo stato. Questo può essere uno stato finale. In questo caso l'input viene accettato. Altrimenti, l'input viene rifiutato.
Se la macchina ha un numero contato e finito di stati, si chiama macchina a stati finiti. Un diagramma che mostra tutti gli stati e le transizioni di una tale macchina è chiamato diagramma a stati finiti.
Una rappresentazione comune di un automa in informatica. Questo automa "accetta" tutte le sequenze delle lettere a e b che iniziano con una a e finiscono con una b.
Problemi
Come nella vita reale, ci sono macchine troppo complesse da capire. Il matematico e l'informatico si chiedono quindi se un certo automa è minimo. Se non è minimo, ci deve essere un altro automa con meno stati che può fare la stessa cosa. Un esempio di automa è la macchina di Turing.
Domande e risposte
D: Che cos'è un automa?
R: Un automa è un concetto matematico che assomiglia a una macchina astratta e può ricevere un input che viene rifiutato o accettato.
D: Qual è un altro termine per definire un automa?
R: A volte il concetto è chiamato macchina a stati.
D: Può paragonare un automa a un distributore automatico?
R: Sì, è come un distributore automatico in cui le monete o il denaro devono essere inseriti nella macchina, e se le monete sono quelle giuste, l'articolo richiesto viene lasciato cadere per poter essere rimosso.
D: Cosa succede quando viene dato un input a un automa?
R: L'automa esamina tutti gli input, consumando un elemento alla volta, e internamente ha diversi stati in cui può trovarsi. L'alimentazione di un input può cambiare o meno il suo stato.
D: Cosa succede quando non ci sono più simboli per l'automa?
R: Quando non ci sono più simboli, l'automa si trova in uno stato particolare, che può essere uno stato finale. In questo caso, l'input viene accettato; altrimenti, l'input viene rifiutato.
D: Che cos'è una macchina a stati finiti?
R: Se la macchina ha un numero contato e finito di stati, si chiama macchina a stati finiti.
D: Che cos'è un diagramma a stati finiti?
R: Un diagramma che mostra tutti gli stati e le transizioni di una macchina di questo tipo si chiama diagramma a stati finiti.
