Desfeita alteracao anterior na gramatica: a sintaxe 'BLOCO: '{' VARIAVEIS COMANDOS '}'' nao obriga que o bloco tenha variaveis, uma vez que existe a transicao VARIAVEIS -> epsilon na gramatica.