Зворотний зв'язок

Мова опису задач SITPLAN-2

2)пiдноситься до квадрату ;3)результат кроку 2 вiднiмається вiд результату кроку 1;

4)змiннiй присвоюється результат операцiї вiднiмання.

Пiд час обробки виразу (4) спочатку виконується операцiя над змiнними i , потiм операцiя над , , i нарештi операцiя над значеннями “iстина” або “хибнiсть”, що отриманi в результатi операцiй (1), (2). Результатом (4) також є значення “iстина” або “хибнiсть”.

4.3.Квантори i обмежувачi

В мовi SITPLAN-2 з метою розширення виразових можливостей запроваджуються додатковi засоби типу кванторiв i обмежувачiв, якi служать для указання мiри, наскiльки значення змiнних повинно бути iстиним, щоб висловлювання вцiлому стало iстиним.

Приклади виразiв з кванторами

УВЕСЬ Х1 Є Х2: ЦВЯХ Х1 З МАТЕРІАЛУ Х2 ТЕРМОСТІЙКИЙ.

Цей вираз означає, що серед цвяхiв є хоча б один з термостiйкого матерiалу. Якщо квантор в виразi є вiдсутнiм, то за умовчанням змiннi вважаються охопленими квантором iснування.

До складу запроваджуваних обмежучив входить обмежувач циклу, позначений службовим словом ЦИКЛ. Вiн використовується пiд час опису ситуацiй i операторiв з великою кiлькiстю об'єктiв, якi знаходяться в одному i тому ж вiдношеннi.

Приклад

ЦИКЛ 100 Х1: ЦВЯХ Х1 У ЯЩИКУ.

Цей вираз може бути iнтерпретован таким чином: “У ящику знаходиться сто цвяхiв”. Як видно з приведеного прикладу в виразах з циклом може бути явно вказано кiлькiсть повторiв циклу, якщо ж вона не вказана, то семантика обмежувача циклу спiвпадає з семантикою квантора спiльностi, тобто вираз

ЦИКЛ Х1: ЦВЯХ У ЯШИКУ

є еквiвалентний виразу

УВЕСЬ Х1: ЦВЯХ У ЯШИКУ.

Обмежувачi максимуму та мiнiмуму позначуються, вiдповiдно, службовими словами MAX та MIN i означають, що вирази з змiнними, охопленими цими обмежувачами, є iстиними при максимальних або мiнiмальних значеннях змiнних.

Наприклад, вираз

MAX Х1: ІНСТУЛЬТ Х2 З ЙМОВІРНІСТЮ Х1

буде iстиним при максимальних значеннях змiнної Х1.

Обмежувач старту (СТАРТ) служить для завдання iнтервалу часу, в продовж якого досягається iстиннiсть охоплених ним виразiв.

Часовi iнтервали обозначемо парами , де - нижня, а - верхня межа часового iнтервалу.

Щоб подати рiзнi часовi iнтервали, використують виразиє семантика яких приведена в табл. 1.


Реферати!

У нас ви зможете знайти і ознайомитися з рефератами на будь-яку тему.







Не знайшли потрібний реферат ?

Замовте написання реферату на потрібну Вам тему

Замовити реферат