também queria saber se existe alguma possibilidade de escrever regras de produção com terminais do lado esquerdo. Por exemplo para reconhecer anbncn teria algo analogo a escrever :
S --> []; [a],[b],[c]; [a],S1,[b],[c].
S1,[b] --> [b],S1.
S1,[c] --> S2,[b],[c],[c].
[a],S2 --> [a],[a]; [a],[a],S1.
[b],S2 --> S2,[b].
Ou somente seria possível escrever da forma apresentada em sala ? (com parametros)