Sommario
A cosa servono gli automi a stati finiti?
Un automa a stati finiti può essere utilizzato sia per modellare un sistema esistente che per modellare un nuovo sistema formale in grado di risolvere alcuni problemi esistenti. A quest’ultima categoria appartengono i cosiddetti riconoscitori di linguaggi e i traduttori.
Che cosa vuol dire automi?
automa Meccanismo costruito per imitare i movimenti e riprodurre l’aspetto esterno dell’uomo e degli animali.
Cosa sono i grafi di transizione perché vengono usati per studiare gli automi a stati finiti?
Gli automi che esamineremo sono tutti automi a stati finiti quindi con memoria limitata, e comunque finita. Il grafo, chiamato diagramma degli stati, ha come nodi gli stati possibili dell’automa; gli archi rappresentano le relazioni di passaggio da uno stato all’altro (transizioni), secondo il particolare input.
Che cosa sono le funzioni di transizione e trasformazione?
La funzione di trasformazione è quella relazione, o meglio quell’insieme di relazioni distinte che ci permettono di calcolare l’uscita del sistema all’istante t1 , conoscendo il valore dello stato e dell’ingresso allo stesso istante. Quindi questa funzione trasforma i dai che transitano in un insieme di uscite U.
Come funzionano gli automi?
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). Esistono comunque anche automi non deterministici, o stocastici.
Quando usare Mealy e quando Moore?
In quanto il modello di Mealy basa lo stato d’uscita della macchina sia sullo stato in cui si trova, sia sugli input che riceve la macchina, mentre il modello di Moore è valido per le macchine che basano l’output soltanto sullo stato corrente della macchina, indifferentemente dagli input.
Quando nascono gli automi?
Ad Al-Jazari è attribuito il primo progetto documentato di automa programmabile nel 1206, usato per una serie di automi umanoidi. Il suo automa era una nave con quattro musicisti che galleggiava su un lago per intrattenere gli ospiti alle feste di corte.
Come sono fatte le tabelle di transizione?
Ci sono due forme comuni per queste tabelle: Una delle dimensioni indica lo stato attuale, mentre l’altra dimensione indica gli eventi. Le intersezioni tra righe e colonne indicano lo stato successivo di un evento, e (opzionalmente) un’azione associata con la transizione di stato.
Quando un automa è proprio?
Un automa si dice proprio quando la sua uscita non dipende istantaneamente dall’ingresso, si dice improprio quando la sua uscita dipende istantaneamente dall’ingresso.