Etter en notasjonsmessig konvensjon representeres ikke-terminale symboler med store bokstaver, terminale med små, og startsymbolet med (for , setning). Som et eksempel kan man ta grammatikken med terminalsymbola , ikketerminaler , produksjonsregler ε (der ε er den tomme strengen) og startsymbol . Denne grammatikken definerer språket til alle orda på forma (dvs. kopier av og deretter kopier av ).