Аксіоматика структурних і складних типів даних. Структурні типи даних.

Структурний тип даних – це масив і запис, що будуються з базових і не структурних типів даних, що містить у собі набір впорядкованих елементів, кожний з яких обробляється як самостійний тип.

Масив конструюється з базових типів і представляється механізмом відображення множини індексів I масиву на множину значень Y елементів масиву [8]:

M: I → Y.

Над даним типом – масив – можуть виконуватися операції:

– впорядкування елементів масивів;

– додавання й віднімання елементів однотипних масивів,

– множення двовимірних масивів за правилами множення матриць та ін.

Операція множення накладає обмеження на область значень індексів масивів, обумовлених математичними правилами множення матриць. Операції додавання і віднімання виконуються для числових масивів, входять до складу множини загальних операцій над масивами і мають вигляд:

X^α = { x |( x₁ X^α) & ( x₂ X^α) I( x₁) =

I( x₂))& (Y (x₁) Y(x₂) (Х^α) )}, Ω^α= { ≤ },

type Та = аrrаy Т(I) of T( ),

де I(х) – множина індексів х для масиву , Y(x)– множина значень елементів масиву, (Х^α) – множина значень елементів для будь-яких типів масиву, Та – тип даних масив; Т(I) – тип даних індексів масиву; T( )– тип даних для множини значень елементів масивів типу Та.

Виходячи з другого виразу наведеного визначення до даного типу належать тільки ті масиви, в яких множини індексів співпадають, а множини значень їхніх елементів належать тій самій числовій множині, що характеризує даний тип. Операції виконуються над масивами як над єдиним значенням, що відповідає типові даних масиву. Дані типу Т(Y)в описі масиву Та в свою чергу можуть визначатися рекурсивно, тобто через масив за наступною схемою: type Та = array T(I¹) оf T(Y¹),

type T(Y¹)= array Т(I²)оf Т(Y²), що є еквівалентним наступному запису: type Та = array Т(I¹ I²) оf Т(Y²).

Множина індексів масивів, що належать до типу Та, представлена у виді прямого добутку множин значень для типів Т(I¹)і Т(I²).

Запис, як і масив, представляє собою конкатенацію окремих компонентів, які можуть мати різні типи. Множина значень типу запис – прямий добуток множини значень її компонентів. До множини операцій, виконуваних над записами, відносяться тільки операції зіставлення, використовувані для порівняння однотипних структур (типи компонентів порівнюваних записів і їхній порядок проходження однакові):

X^z= {x | (x=x^v¹ . . . x^vn) & (x^v¹ X^v¹) & . . . & (x^vn X^vn )}, Ω^z= { ≤ }.

Загальна форма представлення типу запису має вигляд

type Т^z = (S_v1: ; ... S_vn: ).

де , ..., – селектори, а , ..., – типи даних компонентів запису.

У МП запис ( , ..., ) описується в такий спосіб:

type T ^z = record

: , : : end.

Операції виконуються над записом як над єдиним структурним значенням. Обробка окремих компонентів запису виконується за допомогою операцій селектора, аналогічно відповідній операції обробки масиву.

Складні типи даних. До них відносяться: множини, об'єднання, списки, послідовності, дерева та ін. Деякі з цих типів – стандартні в конкретних МП, інші реалізуються шляхом моделювання через відповідні структури й операції над ними. При цьому представлення даних операцій у МП менш формалізовано.

Множини. Загальна форма представлення цього типу даних має вигляд:

type T = powerset T⁰,

де Т – тип множини; Т⁰ – базовий тип для його елементів.

Тип Т включає операції над множинами як над математичними типами – об'єднання, перетин, різниця, включення, тотожність і ін. За допомогою операцій селектора здійснюється вибір типу Т⁰ з об'єкта типу Т, а за рахунок операції конструювання – формування з одного або з декількох елементів типу Т⁰об'єкта типу Т.

Об'єднання. Загальна форма для типу об'єднання має вигляд:

type T = union ( , ..., ),

де Т – тип об'єднання; , ..., – базові типи.

Деякий об'єкт типу Т має значення й ознаку, за якою визначається один з типів , ..., для даного значення. Механізм реалізації об'єднання подібний до механізму реалізації варіантних записів. Відмінність полягає в тому, що сама ознака не висвітлена на відміну від ознаки варіантного запису, до якої він входить як окремий компонент.

Списки. Це конструктивний елемент МП Лисп. Елемент списку описується як запис з однієї або декількох компонент посилального типу, над якими виконуються операції, аналогічні операціям над фіксованими записами. Існують також операції, застосовувані до цілого списку: вибір початкового елемента, одержання залишку списку, з'єднання списків, їх порівняння, інвертування, пошук елементів у списку й ін. Ці операції належать до засобів мови Лисп.

Послідовність. Загальна форма має вигляд: type T = sequence T⁰, де Т – тип послідовності, а T⁰ – базовий тип. Послідовність – один з варіантів типу списку, у якому кожен елемент містить тільки одне посилання для забезпечення однобічного зв'язку. Операції над послідовностями аналогічні операціям над списками. Один з різновидів послідовності – рядок. Для рядка кожен елемент, крім посилальної змінної, містить елемент символьного типу.

Дерева. Це спискові структури, що використовуються для представлення графів або інших аналогічних об'єктів. Множина операцій над деревами аналогічна множині операцій над списками. Реалізація цих операцій залежить від конкретних додатків.

Крім розглянутих типів, у програмуванні використовуються таблиці, файли і всілякі комбінації перерахованих вище типів.

Читайте також:

<== попередня сторінка	\|	наступна сторінка ==>
Аксіоматика простих типів даних	\|	Семантичні аспекти взаємодії різнорідних програм

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

Генерація сторінки за: 0.007 сек.