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:Hopcroft, Ullman (1979); Theorem 4.5, sect.4.5, p.92; see also p.106 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ß, 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.Donald E. Knuth. 1964. Backus Normal Form vs. Backus Naur Form. Communications of the ACM, 7(12):735–736, December.
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
Bibliografia
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.)
(Pages 237–240 of section 6.6: simplified forms and normal forms.) (Pages 98–101 of section 2.1: context-free grammars. Page 156.)
Voci correlate Backus-Naur form Algoritmo CYK Forma normale di Greibach Forma normale di Kuroda Pumping lemma per i linguaggi liberi dal contesto
Categoria:Teoria dei linguaggi formali Categoria:Parsing