Языки программирования. Практический сравнительный анализ


Языки программирования. Практический сравнительный анализ - стр. 256


 

4.20.3. Основная абстракция

Абстракция, обслуживающая потребность совместимости по вводу, хорошо известна - это абстрактный (эталонный) текст. Понятие эталонного текста определено в каждом ЯП. (Эталонный) текст - это конечная последовательность (эталонных) символов. Набор символов в языке обычно конечен и линейно упорядочен. Он называется алфавитом язка. Потребность в совместимости удовлетворяется за счет того, что на определенном уровне абстракции именно эталонный текст является знаком программы. Именно он подразумевается, когда работают на конкретном устройстве ввода-вывода.

Но на конкретном устройстве свой алфавит. Так что приходится придумывать способ обозначать эталонные символы конкретными символами, доступными на устройстве, а эталонный текст в целом - конкретным текстом (составленным из конкретных символов) . Так, эталонные иероглифы Алгола (begin, end и т.п.) обозначаются иногда "BEGIN", "END", иногда _begin_, _end_, иногда `НАЧАЛО', `КОНЕЦ' и т.п.

Таким образом, конкретный текст обозначает эталонный, а тот, в свою очередь, обозначает программу (план для исполнителя).

Итак, основная абстракция осознана - это эталонный текст. Но, в соответствии с принципом реальности абстракций, для каждой абстракции необходимы средства конкретизации  (средства учета тех частностей от которых абстрагировались, создавая абстракцию). Проблема нотации дает пример, когда средства конкретизации по необходимости выходят за рамки языка, создавая внешнюю проблему конкретизации эталонного текста.

 

4.20.4. Проблема конкретизации эталонного текста

Обычно в ЯП отсутствуют средства управления связью конкретных и абстрактных текстов. Дело в том, что средства управления сами должны быть обозначены некоторыми текстами, их также нужно вводить и выводить. Короче, для них возникнут те же проблемы, что и для языка в целом. Так что решать проблему конкретизации приходится вне ЯП.

Тем более важно принять рациональные решения, определяющие правила конкретизации абстрактных текстов, так как они принимаются "раз и навсегда".




- Начало -  - Назад -  - Вперед -