Los identificadores (ID) son smbolos lxicos que nombran entidades. El concepto es anlogo al de "nombres de procesamiento de la informacin". Nombrar las entidades hace posible referirse a las mismas, lo cual es esencial para cualquier tipo de procesamiento simblico.