Especificação da Semântica dos Símbolos