Tipo de sistema simbólico usado para representar elementos o declaraciones expresables en el lenguaje.