verificação sintática da gramática de entrada concluida