Уточнення алгоритму обчислення виразу, Детальна інформація

Уточнення алгоритму обчислення виразу
Тип документу: Реферат
Сторінок: 4
Предмет: Комп`ютерні науки
Автор: Олексій
Розмір: 0
Скачувань: 760
`

d

n

p

v



\x0153

¤



O

Ue

i

o

2



$

0

d

\x00AA



O

o

\x245B\x5C00$\x845E\x0870\x1800Найпростішими виразами типу множина є сталі, тобто списки виразів і діапазонів базового типу в квадратних дужках []. Інші вирази будуються з однотипних множинних сталих і змінних та знаків бінарних операцій '+', '*', '-', що позначають відповідно об'єднання, перетин і різницю множин.

Приклад 1. Нехай за дії означення var v : set of 0..9 виконано оператор присвоювання v:=[1..3]. Тоді вираз v+[2..4] має значення [1..4], v*[2..4] – значення [2..3], v-[2..4] – значення [1].\xF0E7

Бульові вирази вигляду S1 = S2 (S1 <> S2) задають перевірку на рівність (нерівність) значень однотипних множинних виразів S1 і S2. Аналогічно вирази S1 <= S2 (S1 >= S2) задають перевірку включення S1 у S2 (S2 в S1). Наприклад, значеннями виразів [1..3]=[1, 2, 3] та [1, 2]<=[1..3] є true, а виразів [1]>=[1..2] та [1, 2]<>[2, 1] – false.

Булів вираз вигляду e in S, де тип виразу e є базовим для множинного типу виразу S, задає перевірку належності значення e множині S.

Вирази типу множина можна присвоювати змінним того ж самого типу.

Приклад 2. Нехай діє означення типів рядків Str і множин символів SS = set of char. Тоді:

1) процедура Symset задає побудову множини SS символів рядка A:

procedure Symset ( A : Str; var S : SS );

The online video editor trusted by teams to make professional video in minutes