Студопедия
Новини освіти і науки:
МАРК РЕГНЕРУС ДОСЛІДЖЕННЯ: Наскільки відрізняються діти, які виросли в одностатевих союзах


РЕЗОЛЮЦІЯ: Громадського обговорення навчальної програми статевого виховання


ЧОМУ ФОНД ОЛЕНИ ПІНЧУК І МОЗ УКРАЇНИ ПРОПАГУЮТЬ "СЕКСУАЛЬНІ УРОКИ"


ЕКЗИСТЕНЦІЙНО-ПСИХОЛОГІЧНІ ОСНОВИ ПОРУШЕННЯ СТАТЕВОЇ ІДЕНТИЧНОСТІ ПІДЛІТКІВ


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


Відкрите звернення Міністру освіти й науки України - Гриневич Лілії Михайлівні


Представництво українського жіноцтва в ООН: низький рівень культури спілкування в соціальних мережах


Гендерна антидискримінаційна експертиза може зробити нас моральними рабами


ЛІВИЙ МАРКСИЗМ У НОВИХ ПІДРУЧНИКАХ ДЛЯ ШКОЛЯРІВ


ВІДКРИТА ЗАЯВА на підтримку позиції Ганни Турчинової та права кожної людини на свободу думки, світогляду та вираження поглядів



Контакти
 


Тлумачний словник
Авто
Автоматизація
Архітектура
Астрономія
Аудит
Біологія
Будівництво
Бухгалтерія
Винахідництво
Виробництво
Військова справа
Генетика
Географія
Геологія
Господарство
Держава
Дім
Екологія
Економетрика
Економіка
Електроніка
Журналістика та ЗМІ
Зв'язок
Іноземні мови
Інформатика
Історія
Комп'ютери
Креслення
Кулінарія
Культура
Лексикологія
Література
Логіка
Маркетинг
Математика
Машинобудування
Медицина
Менеджмент
Метали і Зварювання
Механіка
Мистецтво
Музика
Населення
Освіта
Охорона безпеки життя
Охорона Праці
Педагогіка
Політика
Право
Програмування
Промисловість
Психологія
Радіо
Регилия
Соціологія
Спорт
Стандартизація
Технології
Торгівля
Туризм
Фізика
Фізіологія
Філософія
Фінанси
Хімія
Юриспунденкция






Аксіоматика простих типів даних

Прості типи – це перелічувані типи, а також “цілий – integer (i)”, “дійсний – real (r)“, “булевий – boolean (b)“ і “символьний – character (с)“. Вони мають вигляд:

type T = X (х1, х2, .... хn),

де Т – ім'я типу, а ( х1, х2, ...., хп ) – імена значень з множини значень X типу Т.

Операції над перелічуваними типами включають бінарні операції співставлення й унарні операції pred і succ, що задають відповідно попередній та наступний елементи в множині X. Операції співставлення (<, ≤, >, ≥, = , ≠), далі (≤), визначають лінійний порядок елементів множини X.

Булевий тип визначений на множині значень Хb і операцій b:

Хb = {false, true},

b = {&, V, , pred, succ, ≤}.

Символьний тип визначений на множині значень Хс і множині операцій c :

Хс = {... , ’А’ ... , ’Х ’ ... , 0, 1, . .. , 9},

c ={pred, succ, ord, chаr, ≤}.

Операція ord додає кожному символові його порядковий номер, а chаr для цього номера – значення.

Аксіоми даних типів мають такий вид:

X . min X, X . max X,

( x X) & ( xX . max) succ (x) X.

( x X)& ( xX . max) succ (x)≠ X . min,

де X.min і X.max – мінімальний та максимальний елементи множини X.

Числові типи (integer і real) мають обмеження, зв'язані з архітектурою або з явним описом параметрів компонентів. Їм відповідають базові типи, обумовлені як відрізки виду:

type T = (X.min, …, X.max),

де X.min і X.max мінімальний та максимальний елементи цього відрізку. Для будь-якого х Х виконується умова х.min < х < х.max. Значення х залежить від реалізації цього типу конкретним транслятором з урахуванням архітектури комп'ютера.

Над змінними цілого типу виконуються аналогічні операції, до них додаються операції цілочисельної арифметики: унарні мінус, +, –, , div і mod Цілий тип даних на заданому відрізку визначається наступними аксіомами:

Xi = {Хi.min, Xi.max + 1, … Хi .max},

i = {+, , div, –, ≤},

type Ti = (Xi.min ,…, Xi .max).

Дійсний тип визначається за допомогою операцій співставлення і звичайних арифметичних операцій (унарний мінус, +, –, , /). Аксіоми речовинного типу на відрізку такі:

Хr = {x | Хr.min ≤ x ≤ Хr.max },

r = {+, , /, – , ≤ },

type Tr = r.min ,…,Хr max).

Будь-які типи даних приводяться до базового типу, перетворюються до необхідного виду, заданого в програмі, і після одержання результату базовий тип приводиться до вихідного типу за допомогою наступних аксіом:

( x X) Т(Т0(х)) = х,

( x1 X) & ( x2 X) ( x1 ≤ x2 )(T0(x1) ≤. T0(x2)) .

В них Т0позначає базовий тип для типу Т. Операції перетворення значення Т0(х) до Т(х) визначають відповідний базовий тип при виконанні арифметичних операцій :

( x1 X) & ( x2 X) (x1 x2) ≡ T(T0(x1) T0(x2)).


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

  1. I етап. Аналіз впливу типів ринку на цінову політику.
  2. Автоматизований банк даних (АБД).
  3. Аксіоматика структурних і складних типів даних. Структурні типи даних.
  4. Аналіз даних засобами Excel
  5. Аналіз паралельного інтерейсу з DSP-процесорами: запис даних в ЦАП, що під’єднаний до адресного простору пам’яті
  6. Аналіз паралельного інтерфейсу з DSP-процесорами: читання даних з АЦП, що під’єднаний до адресного простору пам’яті
  7. Аналіз статистичних даних про склад та плинність кадрів, які обіймали керівні
  8. Аналіз та інтерпретація одержаних даних
  9. Архіватори даних.
  10. Архітектура баз даних
  11. Аудит розрахунків за відшкодуванням завданих збитків




Переглядів: 796

<== попередня сторінка | наступна сторінка ==>
Проблема забезпечення сумісності типів даних при зборки КПВ | Аксіоматика структурних і складних типів даних. Структурні типи даних.

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

 

© studopedia.com.ua При використанні або копіюванні матеріалів пряме посилання на сайт обов'язкове.


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