Análise Sintática Abstrata finalizada

add especificação ao doc