teste código BNF