Sintática Abstrata Completa