# Forma normale di Chomsky

Nella teoria dei linguaggi formali, una grammatica libera dal contesto si dice essere nella forma normale di Chomsky (CNF, o FNC, dall'inglese Chomsky normal form) (scoperta da Noam Chomsky) se tutte le sue regole di produzione sono nella forma seguente:
    $A\rightarrow BC$ o
    $A\rightarrow a$ o
    $S\rightarrow \varepsilon$,
dove $A$, $B$ e $C$ sono simboli non terminali, $a$ è un simbolo terminale (un simbolo che rappresenta un valore costante), $S$ è l'assioma di partenza, $\varepsilon$ è la stringa vuota, e $B\neq S\land C\neq S$.
Tutte le grammatiche nella forma normale di Chomsky sono non contestuali e, viceversa, tutte le grammatiche non contestuali possono essere trasformate in grammatiche equivalenti in FNC. Per eseguire tale trasformazione sono stati ideati più algoritmi. Tuttavia, come fatto notare da Lange e Leiß, lo svantaggio di queste trasformazioni sta nel grande aumento della dimensione della grammatica, dove tale dimensione equivale alla somma delle dimensioni delle regole di produzione, le quali, a loro volta, equivalgono a 1 più la lunghezza della parte destra. Denotando con $|G|$ la dimensione della grammatica originale $G$, la crescita di tale dimensione nel peggiore dei casi è compresa fra $|G|^{2}$ a $2^{2|G|}$ (dipende dall'algoritmo di trasformazione utilizzato).

## Definizione alternativa
### Forma ridotta di Chomsky

Un altro modo per definire la forma normale di Chomsky normal form è:
Una grammatica formale è in forma ridotta di Chomsky se tutte le sue regole di produzione sono nella forma seguente:
    $A\rightarrow \,BC$ o
    $A\rightarrow \,a$,
dove $A$, $B$ e $C$ sono simboli non terminali e $a$ è un simbolo terminale. Solo le grammatiche context-free che non ammettono epsilon-produzioni possono essere rese in questa forma.

### Forma normale di Floyd

In un articolo in cui propose la Backus-Naur Form (BNF), Donald E. Knuth suggerì una «sintassi [BNF] in cui tutte le definizioni aventi tale forma sono dette essere in "forma normale di Floyd"»:
    $\langle A\rangle ::=\,\langle B\rangle \mid \langle C\rangle$ o
    $\langle A\rangle ::=\,\langle B\rangle \langle C\rangle$ o
    $\langle A\rangle ::=\,a$,
dove $\langle A\rangle$, $\langle B\rangle$ e $\langle C\rangle$ sono simboli non terminali e $a$ è un simbolo terminale. Il nome si riferisce a Robert W. Floyd, che nel 1961 scoprì che ogni sintassi BFN può essere convertita in tale forma.

## Convertire una grammatica nella FNC

* Introdurre $S_{0}$
    Introdurre un nuovo simbolo di partenza, $S_{0}$ e una nuova regola $S_{0}\rightarrow S$, dove $S$ è il precedente assioma.
* Eliminare tutte le $\varepsilon$-produzioni
    Le $\varepsilon$-produzioni sono regole della forma $A\rightarrow \varepsilon$, dove $A\not =S_{0}$ e $A\in V$ e $V$ è l'alfabeto delle variabili della grammatica CF.
    Rimuovere ogni regola con $\varepsilon$ alla propria destra. Per ogni regola con $A$ alla propria destra, aggiungere un insieme di nuove regole consistente delle possibili combinazioni di $A$ sostituito o meno da $\varepsilon$. Per esempio, esaminando la seguente grammatica $G$:
       $S\rightarrow AbA\mid B$
       $B\rightarrow b\mid c$
       $A\rightarrow \varepsilon$
    $G$ ha una $\varepsilon$-produzione. Quando $A\rightarrow \varepsilon$ viene rimossa, la grammatica va modificata nella maniera seguente:
       $S\rightarrow AbA\mid Ab\mid bA\mid b\mid B$
       $B\rightarrow b\mid c$
    Da notare che a partire dalla prima regola ne sono state aggiunte tre nuove ($S\rightarrow Ab\mid bA\mid b$), in ciascuna delle quali almeno un simbolo $A$ viene sostituito con $\varepsilon$.
* Eliminare tutte le regole unitarie
    $A\rightarrow B;A,B\in V$
    Dopo aver rimosso le $\varepsilon$-produzioni, vanno rimosse tutte le regole unitarie e le regole che nella parte destra non hanno simboli terminali.
       Per rimuovere $A\rightarrow B$
       $\forall B\rightarrow U$, dove $U$ è una stringa di variabili generiche, aggiungere $A\rightarrow U$ a meno che non sia una regola unitaria già rimossa.
* Sistemare le rimanenti regole di produzione che non sono ancora nella FNC.
    Sostituire $A\rightarrow u_{1}u_{2}\dotso u_{k},k\geq 3,u_{1}\in V\cup \Sigma$ con $A\rightarrow u_{1}A_{1},A_{1}\rightarrow u_{2}A_{2},\dotsc ,A_{k-2}\rightarrow u_{k-1}u_{k}$, dove $A_{i}$ sono nuove variabili.