Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Scaricare
l'accesso più veloce di browser!
 

Forma normale di Chomsky

Indice 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: 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 \ne S \and C \ne 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.

14 relazioni: Algoritmo, Backus-Naur Form, Donald Knuth, Forma normale di Greibach, Forma normale di Kuroda, Grammatica formale, Grammatica libera dal contesto, Lingua inglese, Linguaggio formale, Noam Chomsky, Pumping lemma per i linguaggi liberi dal contesto, Robert Floyd, Stringa (informatica), Università di New York.

Algoritmo

Un algoritmo è un procedimento che risolve un determinato problema attraverso un numero finito di passi elementari in un tempo ragionevole.

Nuovo!!: Forma normale di Chomsky e Algoritmo · Mostra di più »

Backus-Naur Form

La BNF (Backus-Naur Form o Backus Normal Form) è una metasintassi, ovvero un formalismo attraverso cui è possibile descrivere la sintassi di linguaggi formali (il prefisso meta ha proprio a che vedere con la natura circolare di questa definizione).

Nuovo!!: Forma normale di Chomsky e Backus-Naur Form · Mostra di più »

Donald Knuth

Rinomato studioso di matematica (soprattutto di conoscenze che ora sono confluite nell'informatica), è professore emerito presso la Stanford University.

Nuovo!!: Forma normale di Chomsky e Donald Knuth · Mostra di più »

Forma normale di Greibach

In informatica e nella teoria dei linguaggi formali, una grammatica libera dal contesto è nella Forma normale di Greibach se la parte destra di tutte le produzioni inizia con un simbolo terminale, eventualmente seguito da alcune variabili.

Nuovo!!: Forma normale di Chomsky e Forma normale di Greibach · Mostra di più »

Forma normale di Kuroda

In informatica, una grammatica formale è espressa in forma normale di Kuroda se tutte le sue produzioni sono della forma: dove A, B, C e D sono simboli non terminali α è un simbolo terminale.

Nuovo!!: Forma normale di Chomsky e Forma normale di Kuroda · Mostra di più »

Grammatica formale

In teoria dei linguaggi formali una grammatica formale è una struttura astratta che descrive un linguaggio formale in modo preciso, è cioè un sistema di regole che delineano matematicamente un insieme (di solito infinito) di sequenze finite di simboli (stringhe) appartenenti ad un alfabeto anch'esso finito.

Nuovo!!: Forma normale di Chomsky e Grammatica formale · Mostra di più »

Grammatica libera dal contesto

In informatica e in linguistica, una grammatica libera dal contesto (o non contestuale, context-free o CFG) è una grammatica formale in cui ogni regola sintattica è espressa sotto forma di derivazione di un simbolo a sinistra a partire da uno o più simboli a destra.

Nuovo!!: Forma normale di Chomsky e Grammatica libera dal contesto · Mostra di più »

Lingua inglese

L'inglese (nome nativo English) è una lingua indoeuropea appartenente al ramo occidentale delle lingue germaniche, assieme all'olandese, all'alto e basso tedesco, al fiammingo e al frisone.

Nuovo!!: Forma normale di Chomsky e Lingua inglese · Mostra di più »

Linguaggio formale

Per linguaggio formale, in matematica, logica, informatica e linguistica, si intende un insieme di stringhe di lunghezza finita costruite sopra un alfabeto finito, cioè sopra un insieme finito di oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o lettere.

Nuovo!!: Forma normale di Chomsky e Linguaggio formale · Mostra di più »

Noam Chomsky

Professore emerito di linguistica al Massachusetts Institute of Technology, è riconosciuto come il fondatore della grammatica generativo-trasformazionale, spesso indicata come il più rilevante contributo alla linguistica teorica del XX secolo.

Nuovo!!: Forma normale di Chomsky e Noam Chomsky · Mostra di più »

Pumping lemma per i linguaggi liberi dal contesto

Il pumping lemma per i linguaggi liberi dal contesto, detto anche lemma di Bar-Hillel, è un lemma che fornisce una proprietà comune a tutti i linguaggi liberi dal contesto.

Nuovo!!: Forma normale di Chomsky e Pumping lemma per i linguaggi liberi dal contesto · Mostra di più »

Robert Floyd

Categoria:Vincitori del premio Turing.

Nuovo!!: Forma normale di Chomsky e Robert Floyd · Mostra di più »

Stringa (informatica)

Una stringa in informatica è una sequenza di caratteri con un ordine prestabilito.

Nuovo!!: Forma normale di Chomsky e Stringa (informatica) · Mostra di più »

Università di New York

L'Università di New York (New York University o NYU) è un'università privata con sede a New York.

Nuovo!!: Forma normale di Chomsky e Università di New York · Mostra di più »

UscenteArrivo
Ehi! Siamo su Facebook ora! »