Utente anonimo
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
La [[Backus-Naur Form|notazione formale di Backus-Naur]] (BNF) è la sintassi più comunemente usata per descrivere grammatiche context-free.
|