poichÈ X ::= {a} B equivale a X ::= B | aX, e X ::= C {a} equivale a X ::= C | Xa, la regola: ::= {} equivale a: ::= |