3 379 460
contributi
(→Introduzione: Chiarimenti su metalinguaggi che non sono BNF) |
m (Bot: accenti) |
||
:<nowiki><simbolo> → __espressione__</nowiki>
Le due forme sono assolutamente equivalenti ma la seconda è sbagliata perché non fa parte della BNF.
Nelle regole di derivazione <simbolo> (i caratteri < e > sono obbligatori) viene detto un '''simbolo nonterminale''' e __espressione__ è costituita da una o più sequenze di simboli '''terminali''' (descritti più avanti) o nonterminali, identificabili perché racchiusi tra < >; se le sequenze sono più di una esse sono separate dalla barra verticale '|'. La regola esprime il fatto che il nonterminale a sinistra della regola può essere ''sostituito'' da una qualsiasi delle sequenze indicate sulla destra. Inoltre in una sequenza alcuni simboli o sottosequenze possono essere indicati come opzionali racchiudendoli fra parentesi quadre.
|