Visualizza wikitesto di Grammatiche: equivalenze, forme normali e trasformazioni

{{risorsa|tipo=lezione|materia1=Linguaggi formali e automi|avanzamento=100%}}

Introduciamo in questa lezione altri concetti delle grammatiche che ci aiutano a definire i linguaggi formali.

== Equivalenza di due grammatiche ==
Dividiamo l'equivalenza di due grammatiche in due tipi: '''equivalenza forte''' (detta anche '''equivalenza strutturale''') e '''equivalenza debole'''.

:Due grammatiche <math>G</math> e <math>G'</math> sono '''debolmente equivalenti''' se generano lo stesso linguaggio <math>L(G)=L(G')</math>.

Si noti che con questa definizione le due grammatiche possono generare una stessa stringa attraverso due differenti alberi di derivazione. L'albero di derivazione utilizzato si dice '''assegnato''' a una stringa.

:Due grammatiche <math>G</math> e <math>G'</math> sono '''fortemente o strutturalmente equivalenti''' se sono debolmente equivalenti  '''e''' gli ''alberi di derivazione condensati'' sono uguali.

Quindi alla luce delle definizioni, se una grammatica è fortemente equivalente è anche debolmente equivalente, ma non viceversa. Stabilire se due grammatiche sono debolmente equivalenti è un '''problema indecidibile''', viceversa stabilire se due grammatiche sono fortemente equivalenti è un '''problema decidibile'''.

=== Esempio ===
Vedi la [[Grammatiche: equivalenze, forme normali e trasformazioni - Esercizi|pagina degli esercizi]].

== Grammatiche in forma normale ==
Le forme normali sono regole che permettono di modificare una grammatica senza però variarne il linguaggio generato. Queste forme sono molto usate in teoria per semplificare dimostrazioni di teoremi. Tuttavia nella pratica non sono molto usate, perché introducono una forma prolissa e poco leggibile. L'importanza di queste forme sarà più chiara nelle prossime lezioni.

Nella prossima sezione vedremo come avvengono le trasformazioni, qui ci limitiamo a elencare le forme normali:
* '''grammatica senza termini annullabili''': una grammatica che non presenta in nessuna regola (ad eccezione dell'assioma) un termine annullabile, ovvero non presenta <math>\epsilon</math> nella sua definizione.
* '''grammatica non ricorsiva a sinistra''': come dice il nome, è una grammatica che non presenta regole ricorsive a sinistra; le regole ricorsive si presenteranno tutte nella forma a destra <math>A\ \to\ \phi\ A\ |\ ...</math>
* '''grammatica in forma di Chmosky o binaria''': le regole della grammatica si presentano solo in due forme:
** omogenea binaria: <math>A\ \to\ BC,\ \ \ B,C\in V</math>
** terminale con ''singleton'' a destra: <math>A\ \to\ a \in \Sigma</math>
* '''grammatica in forma real-time''': ogni regola inizia con un terminale, cioè ogni regola è nella forma <math>A\ \to\ a\ \alpha</math> con <math>a \in \Sigma,\ \ \ \alpha \in \{\Sigma \cup V\}^*</math>
* '''grammatica in forma di Greibach''': ogni regola inizia con un terminale seguito da uno o più non terminali, cioè ogni regola è nella forma <math>A\ \to\ a\ \alpha</math> con <math>a \in \Sigma,\ \ \ \alpha \in V^*</math>

Attraverso la forma di Chmosky, nell'albero di sintassi un nodo può avere come figli (di primo grado) solo due non terminali o un terminale.

== Trasformazioni di grammatiche ==
Definiamo inizialmente alcune operazioni che poi utilizzeremo per portare le grammatiche in forma normale.

=== Espansione di un non terminale ===
Come dice il titolo, un'operazione molto semplice consiste nel sostituire ovvero espandere un nonterminale:
:<math>A\ \to\ \alpha B \gamma</math> 
:<math>B\ \to\ \beta_1\ |\ \beta_2\ |\ \beta_3\ |\ ...</math>

Diventa:
:<math>A\ \to\ \alpha \beta_1 \gamma\ |\ \alpha \beta_2 \gamma\ |\ \alpha \beta_3 \gamma\ |\ ...</math> 
:<math>B\ \to\ \beta_1\ |\ \beta_2\ |\ \beta_3\ |\ ...</math>

=== Eliminazione dell'assioma nella parte destra ===
Senza perdere di generalità è possibili eliminare tutti gli assiomi che compaiono nella parte destra di ogni regola semplicemente introducendo un nonterminale:
:<math>S_0\ \to\ S</math>

e poi sostituirlo a tutte le occorrenze dell'assioma.

=== Costruzione della forma normale senza nonterminali annullabili ===
L'algoritmo per riportare una grammatica in forma normale senza nonterminali annullabili è rappresentato dai seguenti 4 passi:
* Calcolare l'insieme <math>null</math> che rappresenta un sottoinsieme di <math>V</math> (non terminabili), con la proprietà di essere annullabili;
* Per ogni regola <math>r \in P</math> aggiungere un'alternativa ottenuta eliminando nella parte destra tutti i nonterminali annullabili;
* Rimuovere tutte le regole vuote nella forma <math>A \to \epsilon</math> ad eccezione dell'assioma;
* Pulire la grammatica e rimuovere qualsiasi circolarità.

'''Esempio''':
Grammatica di partenza:
: <math>S \to SAB\ |\ AC</math>
: <math>A \to aA\ | \varepsilon</math>
: <math>B \to bB\ | \varepsilon</math>
: <math>C \to cCc\ |\ c</math>

Grammatica in forma normale:
: <math>S \to SAB\ |\ AC\ |\ SA\ |\ SB\ |\ C</math>
: <math>A \to aA\ |\ a</math>
: <math>B \to bB\ |\ b</math>
: <math>C \to cCc\ |\ c</math>

=== Copia ed eliminazione di regole ===
Definiamo un insieme <math>Copy(A)\subseteq V</math> come l'insieme dei non terminali in cui il non terminale <math>A</math> può essere copiato, eventualmente transitivamente:
:<math>Copy(A) := \{ B \in V\ |\ \exists \text{  a derivation  } A \overset{*}{\Rightarrow} B \}</math>

La computazione di questo insieme può essere eseguita come:
:<math>A \in Copy(A)</math>
:<math>C \in Copy(A) \text{ if } (B\in Copy(A)) \land (B \to C\ \in P)</math>

=== Forma normale di Chomsky ===
Si procede come segue:
* Se la stringa vuota appartiene al linguaggio si aggiunge <math>S\to \varepsilon</math> all'insieme delle regole;
* Per ogni regola del tipo <math>A_0 \to A_1A_2A_3...A_n</math>:
** si aggiunga una regola del tipo <math>A_0 \to <A_1><A_2A_3...A_n></math> (dove i termini tra parentesi angolari sono nonterminali temporanei)
** si aggiunga un'altra regola <math><A_2A_3...A_n> \to A_2A_3...A_n</math>
** infine se <math>A_1 \in \Sigma</math> si aggiunge <math><A_1>\to A_1</math>

=== Conversione delle ricorsioni ===
Questa operazione porta la ricorsione da sinistra a destra, per portare la grammatica nella relativa forma normale. Questa forma normale tornerà utile nel design dei parser top-down.

Spieghiamo con un esempio esplicativo:

Grammatica di partenza:
: <math>A\ \to\ A\beta_1\ |\ A\beta_2\ |\ ... A\beta_h</math>
: <math>A\ \to\ \gamma_1\ |\ \gamma_2\ |\ ... \gamma_k</math>

Si introduce un nuovo non terminale <math>A'</math>:
: <math>A\ \to\ \gamma_1\ |\ \gamma_2\ |\ ... \gamma_k | \gamma_1A'\ |\ \gamma_2A'\ |\ ... \gamma_kA'</math>
: <math>A'\ \to\ \beta_1A\ |\ \beta_2A\ |\ ... \beta_hA | \beta_1\ |\ \beta_2\ |\ ... \beta_k</math>

Non è sempre possibile riportare le grammatiche in questa forma normale.