Cтраница 2
Единицей данных типа метки служит метка в виде константы или значение переменной типа метки. Метка в виде константы - это идентификатор ( определение идентификатора дано в параграфе 3.3), который испльзуется как приставка к оператору ПЛ / 1, что приводит во время выполнения программы к передаче управления на этот оператор. Все метки, которые были приведены в главе 2, были константами. За константой типа метки всегда стоит двоеточие (:), отделяющее метку от оператора, к которому она относится. Переменные типа метки будут рассмотрены в следующем параграфе. [16]