Differenze tra le versioni di "Grammatica libera dal contesto"

m
Bot, replaced: Linguaggio formale (matematica) → Linguaggio formale
(template citazione; fix parametro isbn)
m (Bot, replaced: Linguaggio formale (matematica) → Linguaggio formale)
:V ::= ''w''
:V → ''w''
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 context-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.
2 992 070

contributi