Swappa : Uni / Informatica Teorica - Linguaggi liberi dal contesto

Torna alla pagina di Informatica Teorica

---

 :: Informatica Teorica - Linguaggi liberi dal contesto ::

Appunti & Dimostrazioni del 17 Marzo

Concetti iniziali

Gli automi a stati finiti ci permettono di descrivere linguaggi, ma solo quelli regolari. E tutti gli altri? C'è bisogno di strumenti più potenti, come le grammatiche libere dal contesto, che permettono di generare - manco a dirlo - linguaggi liberi dal contesto.

Una grammatica consiste in un insieme di regole di sostituzione, ognuna delle quali appare come una riga formata da un simbolo e una stringa separati da una freccia, ad esempio: A->CA50. I simboli a sinistra della freccia (generalmente lettere maiuscole) sono chiamati variabili, mentre le stringhe a destra possono essere composte da variabili o altri simboli chiamati terminali. Tra tutte le variabili ce n'è una chiamata variabile iniziale, che in genere compare nella parte sinistra della prima regola.

Facciamo un esempio definendo una grammatica G₁:

In G₁ abbiamo due variabili (A e B, di cui A è quella iniziale) e tre simboli terminali (0, 1 e #).

Come si usa una grammatica

Il sistema con cui le grammatiche permettono di descrivere un linguaggio, passa attraverso la generazione di ogni sua stringa. Per farlo bisogna seguire alcuni passaggi:

1. scrivere la variabile iniziale;
2. per ogni variabile, trovare una regola in cui essa compaia nella parte sinistra (rispetto alla freccia);
3. sostituire la variabile con la parte destra della regola;
4. ripetere (2) e (3) finché non rimangono variabili.

Ad esempio, che stringhe genera la nostra grammatica G₁? Dovremo ripetere i passi appena descritti facendo le opportune sostituzioni, secondo una sequenza che prende il nome di derivazione. Facciamo allora una derivazione di G₁:

A --> 0A1 --> 00A11 --> 000A111 --> 000B111 --> 000#111
  r.1     r.1       r.1         r.2         r.3

, dove ad esempio "r.1" indica l'applicazione della regola 1 della grammatica. Si noti che questa è solo una delle possibili stringhe ottenibili da G₁, un'altra sarebbe potuta essere 00#11, ottenuta con questa derivazione:

A --> 0A1 --> 00A11 --> 00B11 --> 00#11
  r.1     r.1       r.2       r.3

I possibili percorsi di derivazione possono essere mostrati graficamente con i parse tree. Ad esempio il parse tree per la stringa 000#111 nella grammatica G₁ è:

Per far capire che con le grammatiche libere dal contesto si possono descrivere linguaggi ben più complicati, facciamo un esempio di grammatica G₂ che descriva una porzione della lingua italiana:

          <frase> -> <soggetto-frase> <predicato-frase>
 <soggetto-frase> -> <nome-comp> | <nome-comp> <preposiz-frase>
<predicato-frase> -> <predicato-comp> | <predicato-comp> <preposiz-frase>
 <preposiz-frase> -> <preposiz> <nome-comp>
      <nome-comp> -> <articolo> <nome>
 <predicato-comp> -> <predicato> | <predicato> <soggetto-frase>
       <articolo> -> un | il
           <nome> -> cinghiale | postino | tornado
      <predicato> -> amoreggia | rincorre | parla
       <preposiz> -> con

Con cui ad esempio si può formare l'illuminante frase "il tornado rincorre un postino", o la seguente "un cinghiale amoreggia con il postino":

<frase> -> <soggetto-frase> <predicato-frase>
        -> <nome-comp> <predicato-frase>
        -> <articolo> <nome> <predicato-frase>
        -> <articolo> <nome> <predicato-comp> <preposiz-frase>
        -> <articolo> <nome> <predicato> <preposiz-frase>
        -> <articolo> <nome> <predicato> <preposiz> <nome-comp>
        -> <articolo> <nome> <predicato> <preposiz> <articolo> <nome>
        -> un <nome> <predicato> <preposiz> <articolo> <nome>
        -> un cinghiale <predicato> <preposiz> <articolo> <nome>
        -> un cinghiale amoreggia <preposiz> <articolo> <nome>
        -> un cinghiale amoreggia con <articolo> <nome>
        -> un cinghiale amoreggia con il <nome>
        -> un cinghiale amoreggia con il postino

Tempi duri per i postini.

Definizione formale

Diamo finalmente la definizione di grammatica libera dal contesto, o CFG (context-free grammar).

Siano u, v e w stringhe di variabili e terminali, e A->w una regola della grammatica, possiamo dire che uAv genera uwv, e lo scriviamo come uAv->uwv. Diciamo che u deriva v, scritto u-^*->v (una freccia con l'asterisco sopra), se u=v o se la sequenza u₁,u₂,..,u_k esiste per k>=0 e
u->u₁->u₂->..->u_k->v

A questo punto possiamo definire il linguaggio della grammatica come:
{w ∈ Σ* | S-^*>w}

Riportandola sul pratico, nella nostra vecchia cara grammatica G₁ avremo che:

• V = {A,B}
• Σ = {0,1,#}
• S = A
• R = "A->0A1", "A->B", "B->#"

Ambiguità

Una grammatica potrebbe generare la stessa stringa in modi diversi, seguendo diverse derivazioni; ne consegue che la stringa avrebbe più parse tree, e quindi più significati. Questo non è un problema di per sé, ma lo diventa per certi tipi di applicazioni in cui l'interpretazione di una stringa deve essere univoca, come ad esempio nei linguaggi di programmazione.
Se una stessa stringa è generata da una grammatica in modi diversi, allora si dice che la stringa è derivata in modo ambiguo. Intuitivamente, una grammatica G si dice ambigua se genera una stringa in modo ambiguo.

Esercizietto 1

Data la grammatica G₃ = ({S},{a,b},R,S} e l'insieme di regole S->aSb|SS|ε , generare alcune stringhe appartenenti a L(G₃).

Soluzione

S --> aSb --> aaSbb --> aaSSbb --> aaaSbaSbbb --> aaababbb
  r.1     r.1       r.2        r.1            r.3

oppure possono uscire cose come: abab, aaabbb, aabaabbb.

Esercizietto 2

Determinare la grammatica per il linguaggio:
{0ⁿ1ⁿ | n>=0}U{1ⁿ0ⁿ | n>=0}

Soluzione

Dovrò definire separatamente una grammatica per la prima e la seconda parte, poi ne faccio un unione aggiungendo una nuova regola iniziale (qualcosa di molto simile a quanto visto nel capitolo del nondeterminismo). In pratica se abbiamo k grammatiche da unire, la nuova grammatica avrà come prima regola:
S -> S₁ | S₂ | ... | S_k
, dove le variabili S_i sono le variabili iniziali di ogni grammatica.

Torniamo al nostro esercizio e costruiamo la grammatica S₁ per la prima parte del linguaggio, e la S₂ per la seconda.

Linguaggio L₁: {0ⁿ1ⁿ | n>=0}
Grammatica G₁: S₁ -> 0S₁1 | ε

Linguaggio L₂: {1ⁿ0ⁿ | n>=0}
Grammatica G₂: S₂ -> 1S₁0 | ε

Per quanto detto finora, facendo l'unione di G₁ e G₂ otteniamo:

Forma normale di Chomsky

La forma normale di Chomsky ci permette di riscrivere una grammatica libera dal contesto in forma più compatta e semplificata. Ci tornerà molto utile in futuro, soprattutto se non sappiamo che nome dare al secondo criceto ("Chomsky & Pumping-lemma", that's all folks!).

Teorema 1 - sulla forma normale di Chomsky

Dimostrazione

Dato che per definizione un linguaggio libero dal contesto è generato da una CFG, non dobbiamo fare altro che dimostrare che ogni grammatica libera dal contesto G può essere espressa nella forma normale di Chomsky. Lo facciamo per costruzione, scandendo i vari passi.

Passo (1)
Definiamo una nuova variabile iniziale S₀ e aggiungiamo la regola:

, dove S era la variabile iniziale di G.

Passo (2)
Dobbiamo far sparire tutte le regole espresse nella forma A->ε, dove A è una variabile diversa da quella iniziale. Si fa in due tempi:

1. eliminiamo tutte le regole nella forma A->ε;
2. per ogni occorrenza di A nella parte destra di una regola, aggiungiamo una nuova regola in cui A non vi compare. In pratica, se abbiamo una regola del tipo R->uAv (dove u e v sono stringhe di variabili e/o terminali), la facciamo diventare: R->uAv|uv.

Passo (3)
Dobbiamo far sparire tutte le regole unitarie espresse nella forma A->B. Anche in questo caso si opera in due tempi:

1. eliminiamo tutte le regole unitarie nella forma A->B;
2. ogni volta che appare la regola B->u, aggiungiamo la regola A->u.

Passo (4)
Concludiamo la costruzione convertendo tutte le altre regole nella forma appropriata. In particolare dovremo individuare ogni regola del tipo:

, e sostituirla con le regole:

Quando arriviamo ad avere tutte regole con k=2, sostituiamo il terminale u_i nelle regole precedenti con la nuova variabile U_i, e aggiungiamo la regola: U_i->u_i.

Esempio di conversione

Tra il dire e il fare c'è di mezzo il mare. Imbarchiamoci per convertire una CFG nella corrispettiva forma normale di Chomsky.

La grammatica G da convertire è la seguente:

Applichiamo il Passo (1)

Applichiamo il Passo (2)

Applichiamo il Passo (3)

Applichiamo il Passo (4)

---

Torna alla pagina di Informatica Teorica