Grammatica libera dal contesto: differenze tra le versioni

m
Contenuto cancellato Contenuto aggiunto
Abbot (discussione | contributi)
Riga 21:
*<math>V_n</math> è un insieme finito di simboli non terminali
*<math>P</math> è un insieme finito di regole di produzione (o derivazione)
*<math>S</math> è un elemento di <math>V_n</math>, il quale determina il simbolo di partenza non terminale.
*gli elementi di <math>P</math> sono nella forma
::<math>V_n \longrightarrow (V_t \cup V_n)^*</math>