Tipus de sistema simbòlic utilitzat per representar elements o declaracions expressables en el llenguatge.