ПАСКАЛЬ

это язык программирования, кот. ориентирован на обучение-освоение программирования, как специфической дисциплины, основанной на базисе понятий, отраженных в языке, языковых моделях; разработан швейцарским ученым И. Виртом в 1970 году; применяется как язык программирования системного, широко используемого для написания трансляторов и больших программ; модель языка позволяет осуществить весьма эффективно-специфическую его реализацию, а обрабатываемые с помощью П. данные рассматриваются как индексные значения переменных; действия над ними задаются с помощью операторов, и каждая переменная, входящая в оператор, вводится посредством объявления переменной, кот. приписывают этой переменной имя-денотат-тип-форму-кластер; тип-кластер-форма определяет множество значений, кот. может принимать переменная, они могут быть также дескриптированы в объявлении переменной, либо указаны с помощью идентификатора типа-кластера; в последнем же случае, это имя должно быть описано в явном определении типа-кластера; стандартными типами-кластерами данных явл. логический — булевская переменная, целый, вещественный и литерно-текстовой; один тип-кластер может быть определен как субдиапазон другого посредством указания-денотаций наибольшего-наименьшего значений; из стандартизированных типов-кластеров могут тектонизироваться-конструироваться четыре модально-структурных типа, кот. отличаются механизмом доступа к их элементам-компонентам: файлы — иерархичность однотипных компонент, с кот. связан определенных указатель, а частным случаем файла, например, явл. текстовый файл; массивы — суммация однотипных компонент, выделяемых из массива с помощью вычисляемого индекса, индексов; записи — композиция разнотипных компонент, где допускается множество вариантов композиции, каждому из кот. соответствует определенное значение одного из полей записи — поле предиката-признака; множества — это совокупность-суммация подмножеств-субмножество некот. скалярного типа, к кот. применимы теоретико-множественные операции пересечения, интеграции, дифференциации.