Una tabla de símbolos es una estructura de datos que contiene un registro por cada identificador y con los campos para los atributos del identificador. La tabla de símbolos es utilizada en todas las fases de compilación. Los atributos que se ingresan en la tabla pueden proporcionar información sobre la memoria asignada a un identificador, su tipo, ámbito y, en el caso de nombres de procedimientos, cosas como el número y tipos de sus argumentos. Las fases introducen información en la tabla de símbolos y después la utilizan de varias formas, para comprobar tipos de identificadores por ejemplo.