Реферат: Основные понятия алгоритмического языка

'СТРОКА' 'STRING' 'ПРОГРАММА' 'АД''ЮТАНТ'

4. К О Н Ц Е П Ц И Я Т И П А

Д Л Я Д А Н Н Ы Х

В математике принято классифицировать переменные в соответствии с

некоторыми важными характеристиками. Производится строгое разграниче-

ние между вещественными, комплексными и логическими переменными, меж-

ду переменными, представляющими отдельные значения и множество значе-

ний и так далее.

При обработке данных на ЭВМ такая классификация еще более важна. В

любом алгоритмическом языке каждая константа, переменная, выражение

или функция бывают определенного типа.

В языке ПАСКАЛЬ существует правило: тип явно задается в описании

переменной или функции, которое предшествует их использованию. Кон-

цепция типа языка ПАСКАЛЬ имеет следующие основные свойства:

-любой тип данных определяет множество значений, к которому при-

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

или вырабатывать операция или функция;

-тип значения, задаваемого константой, переменной или выражением,

можно определить по их виду или описанию;

-каждая операция или функция требует аргументов фиксированного ти-

па и выдает результат фиксированного типа.

Отсюда следует, что транслятор может использовать информацию о ти-

пах для проверки вычислимости и правильности различных конструкций.

Тип определяет:

-возможные значения переменных, констант, функций, выражений, при-

надлежащих к данному типу;

-внутреннюю форму представления данных в ЭВМ;

-операции и функции, которые могут выполняться над величинами,

принадлежащими к данному типу.