Gerarchia di Chomsky
La gerarchia di Chomsky è un insieme di classi di grammatiche formali che generano linguaggi formali. La gerarchia di queste grammatiche, chiamate anche grammatiche a struttura sintagmatica (phrase structure grammars), fu descritta da Noam Chomsky nel 1956[1][2].
Grammatiche formali
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/87/Magnifying_glass_icon_mgx2.svg/18px-Magnifying_glass_icon_mgx2.svg.png)
Una grammatica formale è una quadrupla , dove è un insieme finito e non vuoto di simboli detto alfabeto non terminale, è un insieme finito e non vuoto di simboli detto alfabeto terminale (le lettere di una parola nel linguaggio formale), è una relazione binaria di cardinalità finita, in altre parole un insieme di regole di produzione (con un lato sinistro ed un lato destro), ed infine appartenente a è detto Assioma, e rappresenta il simbolo non terminale di inizio (simbolo non terminale iniziale). Una regola di produzione può essere applicata ad una parola rimpiazzando il lato sinistro con il lato destro. Una derivazione è una sequenza di applicazioni di regole di produzione. In questo modo una grammatica definisce un linguaggio formale con tutte le parole costituite dai soli simboli terminali che possono essere raggiunti dal simbolo iniziale attraverso derivazioni.
I simboli non terminali sono genericamente rappresentati da lettere in maiuscolo, i terminali da lettere in minuscolo, e il simbolo iniziale da . Per esempio, la grammatica con simboli terminali , e simboli non terminali , e regole di produzione
- (dove è la stringa vuota)
e il simbolo iniziale , definisce il linguaggio composto da tutte le parole nella forma (Ovvero tutte le stringhe formate da ripetizioni di seguite da ripetizioni di , come ad esempio per o per ).
Quella seguente è una semplice grammatica che definisce un linguaggio simile: simboli terminali , simboli non terminali , simbolo iniziale , regole di produzione
La gerarchia
![](http://upload.wikimedia.org/wikipedia/commons/2/26/Gerarchia-di-Chomsky.jpg)
La gerarchia di Chomsky è composta dai seguenti livelli:
- Grammatiche di tipo-0 (grammatiche illimitate) include tutte le grammatiche formali. Queste grammatiche hanno regole della forma con simbolo non terminale, , e stringhe di simboli terminali e non terminali. Queste grammatiche ammettono anche derivazioni che diminuiscono la lunghezza della frase, ad esempio le ε-produzioni, quindi può essere vuota. Queste grammatiche generano esattamente tutti i linguaggi che possono essere accettati da una Macchina di Turing. Questi linguaggi sono anche conosciuti come linguaggi ricorsivamente enumerabili. Da notare che questi linguaggi sono differenti dai linguaggi ricorsivi che possono essere riconosciuti da una macchina di Turing che termina sempre. I linguaggi di tipo-0 sono semidecidibili secondo Turing (dato un linguaggio L di tipo-0 è sempre possibile definire una MT ℳ tale che se una stringa s L allora ℳ termina la computazione accettando s, se invece s L ℳ può non terminare la computazione di s).
- Grammatiche di tipo-1 (grammatiche dipendenti dal contesto) generano linguaggi dipendenti dal contesto. Queste grammatiche hanno regole della forma con simbolo non terminale e , e stringhe di simboli terminali e non terminali (qualunque regola di produzione che riduca la lunghezza delle stringhe non è ammessa). Le stringhe e possono essere vuote, ma la deve essere non vuota. I linguaggi descritti da queste grammatiche sono esattamente tutti i linguaggi che possono essere riconosciuti da una macchina di Turing non deterministica nella quale il nastro è limitato da un numero costante di volte la lunghezza dell'input.
- Grammatiche di tipo-2 (grammatiche libere dal contesto) generano linguaggi liberi dal contesto. Queste grammatiche sono definite da regole nella forma con simbolo non terminale e una stringa di simboli terminali e non terminali. Questi linguaggi sono esattamente tutti i linguaggi che possono essere riconosciuti da un automa a pila non deterministico. I linguaggi context free sono teoricamente le basi per la sintassi di molti linguaggi di programmazione (Analisi sintattica).
- Grammatiche di tipo-3 (grammatiche regolari) generano linguaggi regolari. Questo tipo di grammatiche restringe le sue regole ad un singolo simbolo non terminale nel lato sinistro della produzione e nel lato destro un singolo simbolo terminale, che può essere seguito (o preceduto, ma non entrambe le forme nella stessa grammatica) da un singolo simbolo non terminale. La regola è permessa anche qui se non compare nel lati destri delle regole di produzione. Questi linguaggi sono esattamente tutti i linguaggi riconosciuti da un automa a stati finiti. Oltretutto, questa famiglia di linguaggi formali può essere ottenuta con espressioni regolari. I linguaggi regolari sono comunemente usati per definire modelli di ricerca (search patterns) e la struttura lessicale dei linguaggi di programmazione (Analisi lessicale).
Nota che l'insieme delle grammatiche corrispondente ai linguaggi ricorsivi non è un membro di questa gerarchia.
La grammatica di tipo-0 è l'unica che può generare la stringa vuota. È possibile estendere le grammatiche di tipo-1, 2 e 3 in modo tale che possono generare lo stesso linguaggio arricchito della stringa vuota. La regola di produzione è permessa se non appare nel lato destro delle regole di produzione. L'introduzione delle ε-produzioni ha conseguenze diverse a seconda del tipo di grammatica. Nel caso delle grammatiche di tipo-2 o 3 le ε-produzioni non aumentano il potere espressivo della grammatica. Viceversa le grammatiche di tipo-1 si trasformano in grammatiche di tipo-0, i.e. aumenta il potere espressivo della grammatica.
Ogni linguaggio regolare è libero dal contesto, ogni linguaggio libero dal contesto è dipendente dal contesto (è infatti un caso particolare dove le stringhe e sono obbligatoriamente vuote) e ogni linguaggio dipendente dal contesto è ricorsivo, ed infine ogni linguaggio ricorsivo è enumerabile ricorsivamente. Queste sono inclusioni proprie, nel senso che esistono linguaggi enumerabili ricorsivamente che sono non ricorsivi, linguaggi ricorsivi che sono non dipendenti dal contesto, linguaggi dipendenti dal contesto che sono non liberi dal contesto e linguaggi liberi dal contesto che sono non regolari.
Note
- ^ Noam Chomsky: Three models for the description of language, IRE Transactions on Information Theory, 2 (1956), pagine 113-124
- ^ Noam Chomsky: On certain formal properties of grammars, Information and Control, 1 (1959), pagine 91-112
Voci correlate
Collegamenti esterni
- (EN) lecture5, su web.archive.org, 5 aprile 2014. URL consultato il 14 aprile 2020 (archiviato dall'url originale il 5 aprile 2014).
Teoria degli automi: linguaggi formali e grammatiche formali | |||
---|---|---|---|
Gerarchia di Chomsky | Grammatica formale | Linguaggio | Automa minimo |
Tipo-0 | (illimitato) | Ricorsivamente enumerabile | Macchina di Turing |
(illimitato) | Ricorsivo | Decider | |
Tipo-1 | Dipendente dal contesto | Dipendente dal contesto | Automa lineare |
Tipo-2 | Libera dal contesto | Libero dal contesto | Automa a pila ND |
Tipo-3 | Regolare | Regolare | A stati finiti |
Ciascuna categoria di linguaggio o grammatica è un sottoinsieme proprio della categoria immediatamente sovrastante. |
Controllo di autorità | GND (DE) 4529323-5 |
---|
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0d/Crystal128-kanagram.svg/25px-Crystal128-kanagram.svg.png)