Considerando a gramática a seguir, em que S, A e B são símbolos não terminais, 0 e 1 são terminais e ε é a cadeia vazia. S → 1S | 0A | ε A → 1S |...

Considerando a gramática a seguir, em que S, A e B são símbolos não terminais, 0 e 1 são terminais e ε é a cadeia vazia. S → 1S | 0A | ε A → 1S | 0B | ε B → 1S | ε Esta gramática é a expressão axiomática, em suas regras de produção, da representação de uma linguagem definida pelos símbolos do alfabeto (os terminais 0 e 1). O comportamento é determinado pela derivação das regras, que, aplicadas ao processo de análise léxica, pode definir as sentenças desta linguagem a partir das seguintes observações: Nas cadeias geradas por essa gramática, o último símbolo é sempre 1. O número de zeros consecutivos nas cadeias geradas pela gramática é, no máximo, dois. O número de uns em cada cadeia gerada pela gramática é maior que o número de zeros. Nas cadeias geradas por essa gramática, todos os uns estão à esquerda de todos os zeros.