К способам представления типов можно отнести:

Можно выделить следующие виды контроля типов:

К простейшим формулам можно отнести:

К упрощениям выражений можно отнести:

К проблемам управления пмятью можно отнести:

К формулам, содержащим операции типа умножения можно отнести:

К классическим задачам анализа потоков данных можно отнести:

Если определен тип, соответствующий указателю в эту таблицу - ReprInd, и тип, служащий для представления позиции в исходном файле - FilePos, то можно полностью определить лексему следующим образом:

Для представления множества выводов можно построить разметку C, которая вершине дерева v и нетерминалу K сопоставляет:

Для представления компилятора мы можем использовать так называемые:

Эквивалентность типов бывает: