Непейвода Н.Н. Программирование. Раздел 3

Непейвода Н.Н. Программирование. Страница 381

Конструктор структуры данных — правило построения новых струк­тур данных из существующих структур. Конструкторы языка предоставляют возможность программисту составлять свои представления (абстрактных) данных.

Конструктор типа данных — это конструктор структуры данных плюс правила, позволяющие определять операции для новых структур данных. Конец определения 9.1.1.

Основанием системы структурирована данных (т. е. подхода к данным в языке программирования) служат базовые элементы данных — то, из чего строится вся система, включая базовые структуры. В качестве базы теорети­чески может быть выбран булевский тип: все записи в ячейках памяти можно представлять как кортежи булевских значений; все вычисления в реальных компьютерах на самом деле строятся путем моделирования операций через первичные логические действия. Однако, даже если игнорировать чрезмер­ную сложность такого построения, есть и другие причины, почему булевский тип не считается единственным базовым типом системы структурирования данных:

средства оперирования с данными, в настоящее время предоставляе­мые машинными языками, а тем более общеупотребительными язы­ками программирования, не связаны (за редкими исключениями) с логической моделью вычисления операций, поскольку ориентированы на обработку практическй более важных типов данных;

при моделировании реальности сначала требуется понять, как пред­ставлять конкретные объекты структурами данных вычислителя, сле­довательно, описание данных программы строится сверху вниз, по­средством декомпозиции, а не составляется из примитивных элемен­тов.

В истории развития языков был период, когда пытались строить специфи­цирующие модели вычислителей на основе редукции до уровня битов (т. е. на базе логического типа)2. Иллюстрацией этого направления может слу­жить язык APL, который провозглашал принцип конструирования всего, что нужно, из битовых наборов с помощью подходящих средств композиции. Многочисленные описания моделей вычислений реальных компьютеров на этом языке убеждают только в том, что ни проверить корректность модели, ни добиться ее понятности не удается. Причина очевидна: для описаний нужны более абстрактные структуры данных, а конструкторы данных на битовом уровне не подходят для композиции абстрактных структур — на каждом уровне требуются свои средства.

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие "Крокодилы"

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама