Мова опису задач 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.