Implementada a verificação de que a gramática foi digitada corretamente.