Grammatica libera dal contesto: differenze tra le versioni

corretto un errore di ortografia
Contenuto cancellato Contenuto aggiunto
→‎Definizione formale: (cambiata la notazione, per coereneza con le altre voci)
corretto un errore di ortografia
Riga 4:
dove V è un [[grammatica formale|simbolo non terminale]] e ''w'' è una sequenza di [[grammatica formale|simboli terminali]] e non terminali. Il termine "context-free" (libera dal contesto) si riferisce al fatto che il simbolo non terminale V può sempre essere sostituito da ''w'', indipendentemente dai simboli che lo precedono o lo seguono. Un [[Linguaggio formale (matematica)|linguaggio formale]] si dice ''context-free'' se esiste una grammatica context-free che lo genera.
 
Le grammatiche contexcontext-free sono abbastanza potenti da descrivere la sintassi della maggior parte dei [[linguaggio di programmazione|linguaggi di programmazione]]; al tempo stesso, sono abbastanza semplici da consentire un [[parsing]] molto efficiente.
 
La [[Backus-Naur Form|notazione formale di Backus-Naur]] (BNF) è la sintassi più comunemente usata per descrivere grammatiche context-free.
Utente anonimo