Utente anonimo
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>
dove
*<math>
*<math>
*<math>P\,</math> è un insieme finito di regole di produzione (o derivazione)
*<math>S \in N</math> è un elemento di <math>
*gli elementi di <math>P</math> sono nella forma
::<math>
== Esempi ==
|