En ella se tratan aspectos tales como la semántica y la sintaxis de los