Forma normale di Chomsky
Nella teoria dei linguaggi formali, una grammatica libera dal contesto si dice essere nella forma normale di Chomsky (CNF,[1] o FNC, dall'inglese Chomsky normal form) (scoperta da Noam Chomsky)[2] se tutte le sue regole di produzione sono nella forma seguente:[1][3]
- o
- o
- ,
dove , e sono simboli non terminali, è un simbolo terminale (un simbolo che rappresenta un valore costante), è l'assioma di partenza, è la stringa vuota, e .
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ß,[4] 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 la dimensione della grammatica originale , la crescita di tale dimensione nel peggiore dei casi è compresa fra a (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:
- o
- ,
dove , e sono simboli non terminali e è 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"»:
- o
- o
- ,
dove , e sono simboli non terminali e è 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.[5]
Convertire una grammatica nella FNC
- Introdurre
- Introdurre un nuovo simbolo di partenza, e una nuova regola , dove è il precedente assioma.
- Eliminare tutte le -produzioni
- Le -produzioni sono regole della forma , dove e e è l'alfabeto delle variabili della grammatica CF.
- Rimuovere ogni regola con alla propria destra. Per ogni regola con alla propria destra, aggiungere un insieme di nuove regole consistente delle possibili combinazioni di sostituito o meno da . Per esempio, esaminando la seguente grammatica :
- ha una -produzione. Quando viene rimossa, la grammatica va modificata nella maniera seguente:
- Da notare che a partire dalla prima regola ne sono state aggiunte tre nuove (), in ciascuna delle quali almeno un simbolo viene sostituito con .
- Eliminare tutte le regole unitarie
- Dopo aver rimosso le -produzioni, vanno rimosse tutte le regole unitarie e le regole che nella parte destra non hanno simboli terminali.
- Per rimuovere
- , dove è una stringa di variabili generiche, aggiungere a meno che non sia una regola unitaria già rimossa.
- Sistemare le rimanenti regole di produzione che non sono ancora nella FNC.
- Sostituire con , dove sono nuove variabili.
Note
- ^ a b Ausiello, 2003, p. 128.
- ^ (EN) Noam Chomsky, On Certain Formal Properties of Grammars, in Information and Control, vol. 2, 1959, pp. 137–167, DOI:10.1016/S0019-9958(59)90362-6.
- ^ Hopcroft, Ullman (1979); Theorem 4.5, sect.4.5, p.92; see also p.106
- ^ (EN) Martin Lange, Hans Leiß, To CNF or not to CNF? An Efficient Yet Presentable Version of the CYK Algorithm (PDF), su ddi.cs.uni-potsdam.de, 2009.
- ^ Donald E. Knuth. 1964. Backus Normal Form vs. Backus Naur Form. Communications of the ACM, 7(12):735–736, December.
Bibliografia
- Richard Cole, Converting CFGs to CNF (Chomsky Normal Form) (PDF), Università di New York, 17 ottobre 2007.
- John E. Hopcroft and Jeffrey D. Ullman, Introduction to Automata Theory, Languages and Computation, Addison-Wesley Publishing, Reading Massachusetts, 1979. ISBN 0-201-02988-X. (See chapter 4.)
- Daniel Jurafsky e James H. Martin, Speech and Language Processing, 2nd, Pearson Prentice Hall, 2008, ISBN 978-0-13-187321-6.
- John Martin, Introduction to Languages and the Theory of Computation, McGraw Hill, 2003, ISBN 0-07-232200-4. (Pages 237–240 of section 6.6: simplified forms and normal forms.)
- Michael Sipser, Introduction to the Theory of Computation, PWS Publishing, 1997, ISBN 0-534-94728-X. (Pages 98–101 of section 2.1: context-free grammars. Page 156.)
- Giorgio Ausiello, Fabrizio D'Amore, Giorgio Gambosi, Linguaggi modelli complessità, Milano, Franco Angeli Editore, 2003, ISBN 88-464-4470-1.
Voci correlate
- Backus-Naur form
- Algoritmo CYK
- Forma normale di Greibach
- Forma normale di Kuroda
- Pumping lemma per i linguaggi liberi dal contesto
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/77/Computer_n_screen.svg/24px-Computer_n_screen.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)