Equivalenza tra i Linguaggi Regolari e i Linguaggi Riconosciuti dagli Automi a Stati Finiti

Le Grammatiche sono formalismi matematici che generano linguaggi.

I Linguaggi generati dalle Grammatiche Regolari, sono riconosciuti dagli Automi a Stati Finiti.

Viceversa, ogni linguaggio riconosciuto da un Automa a Stati Finiti, puo` essere generato da una Grammatica Regolare.