Los identificadores (ID) son símbolos léxicos que nombran entidades. El concepto es análogo al de "nombres de procesamiento de la información". Nombrar las entidades hace posible referirse a las mismas, lo cual es esencial para cualquier tipo de procesamiento simbólico.