Teoria degli automi

Automi
Un automa una macchina a stati, ovvero un sistema virtuale che pu esistere solo in determinate
configurazioni, dette stati, e che per passare da uno stato all'altro necessita di uno specifico evento.
Ci sono automi che possono essere descritti da un numero finito di stati (automi finiti) e altri che
hanno un numero di stati infinito (automi infiniti).
Un automa deterministico se, in qualsiasi stato perfettamente prevedibile, se sono noti lo stato,
la struttura e gli input. Un automa invece non deterministico se, anche conoscendo questi fattori,
non possibile prevedere il suo futuro comportamento.
Linguaggi regolari

L'insieme vuoto un linguaggio regolare.

Ognuno dei simboli dell'alfabeto E pu essere un linguaggio in s e per s, ma lo anche
una qualsiasi concatenazione di simboli dello stesso alfabeto
Se L e M sono dei linguaggi regolari, l'alfabeto formato dall'unione logica di L e M sar
regolare.
Se L e M sono dei linguaggi regolari, l'alfabeto formato dalla concatenazione di L e M
regolare.

L'insieme dei linguaggi regolari coincide con quello dei linguaggi che possono essere accettati da
un automa a stati finiti.
Le grammatiche regolari permettono di costruire in senso logico una frase correttamente grazie ad
una regola produttiva che pu essere solo un simbolo non terminale.