Таблица символов сообщит на любых последующих проходах вашего компилятора, является ли какое-либо заданное имя (например, имя типа, именем функции, именем переменной и т. Д.). Как бы вы перевели C в ассемблерный код (или любые другие существенные манипуляции), не зная , что ?! Рассмотрим, например, X * Y; - умножает ли это X на Y или объявляет Y указателем на X? Вам нужно знать, называет ли X тип, чтобы устранить неоднозначность - что еще, кроме таблицы символов, может вам сказать?