UNITÀ 5   La classe dei linguaggi regolari
L' automa a stati finiti è un particolare tipo di dispositivo riconoscitore.
Ogni tipologia di meccanismo riconoscitore definisce una precisa classe
di linguaggi, quella definita dagli ASF è detta classe dei linguaggi regolari:
DEFINIZIONE
Classe dei linguaggi regolari
L'insieme R dei linguaggi riconoscibili da automi finiti, cioè l'insieme :
R = { L | L ed esiste un automa A tale che L = L(A) },