GRAMMATICA FORMALE
Una quadrupla _VT,VN,P,S_
- VT Ë un insieme finito di simboli terminali
- VN Ë un insieme finito di simboli non terminali
- P Ë un insieme finito di produzioni, ossia di regole di riscrittura
- S Ë un particolare simbolo non-terminale detto simbolo iniziale o scopo della grammatica.