Especificacao da Linguagem