Позначення, що визначаються - це такі позначення, що складає програміст, керуючись правилами граматики мови. До них належать ідентифікатори та зображення.
Ідентифікатори - це позначення, що відповідають напередвизначеним синтаксичним і прагматичним правилам. Сутність правил є така, що ідентифікатор – це послідовність з символів букв, цифр і символу підкреслення, яка починається тільки з букви (інколи з символу підкреслення). Наприклад, nVal, cChar.
Зображення, що визначаються - це такі позначення, яким відповідають усюди відомі значення. Наприклад, 13, 5.2, ‘А’, “Си”.
Тип (вид) - це множина значень і множина операцій (дій), які можна виконувати над цими значеннями.
Будь-який тип характеризується наступним:
- позначенням типу (індикатор - задається стандартним оточенням чи обирається програмістом;
- множиною значень і відповідних зображень позначень, що задаються за визначеними правилами;
- множиною операцій, кожна має цілком визначений зміст;
- розміром пам'яті, котру буде займати значення даного типу при виконанні програми.
Операції, що описуються явно - це операції, що описуються і реалізуються програмістом явно, як правило при описі типу, що визначається. До них відносяться операції абстрактних типів даних.
Напередвизначені типи - це типи, для яких позначення, множини значень, множина і устрій значень напередвизначені стандартним оточенням і не можуть змінюватися.
Типи, що визначаються - це типи, для яких зазначені властивості визначаються програмістом.