Grammatica libera dal contesto: differenze tra le versioni

→‎Definizione formale: (cambiata la notazione, per coereneza con le altre voci)
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
→‎Definizione formale: (cambiata la notazione, per coereneza con le altre voci)
Riga 14:
== Definizione formale ==
 
Come una [[grammatica formale]], una grammatica context-free <math>\mathcal{G}</math> può essere definita come una quadrupla:
 
<math>\mathcal{G} = \left \langle N, \Sigma, P, S \right \rangle</math>
 
<math>G = (V_t, V_n, P, S)</math>
dove
 
*<math>V_tN\,</math> è un insieme finito di simboli non terminali
*<math>V_n\Sigma\,</math> è un insieme finito di simboli non terminali
*<math>P\,</math> è un insieme finito di regole di produzione (o derivazione)
*<math>S \in N</math> è un elemento di <math>V_nN</math>, il quale determina il simbolo di partenza non terminale.
*gli elementi di <math>P</math> sono nella forma
::<math>V_nN \longrightarrow (V_t\Sigma \cup V_nN)^*</math>
 
== Esempi ==
Utente anonimo