Atualização Especificação

Produções de comandos finalizada. Faltando somente expressões lógicas