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

Внаслiдок обмежень за обсягом не будемо давати формальний опис всiх конструкцiй мови. Придiлемо основну увагу семантицi конструкцiй мови i прикладам їх опису. Опис синтаксису приведено лише для деяких конструкцiй.

2.Елементарнi конструкцi мови

Синтаксис

слово: { лiтера } ...

службове слово: { велика видiлена лiтера } ...

iдентифiкатор: слово лiтера

цифра

змiнна: Х { цифра } ...

Семантика

Числа, слова, змiннi та iншi iдентифiкатори використовуються для утворення виразiв при описi певного класу задач. Числа мають свiй звичайний змiст. Слова та iдентифiкатори постiйного змiсту не мають. Вони служать для позначень змiнних, найменувань класiв та iмен об'єктiв, вiдношень, ситуацiй, операторiв, процедур.

Зокрема, для цих цiлей можуть бути використанi слова природної мови. Службовi слова виконують функцiї описувачив типу для слiдуючих за ними фрагментiв опису задач.

Змiнна - це найменування, що дано окремому текстовому значенню. Значення змiнних та їх типи визначаються порiвненням виразiв.

3.Енки (n-ки)

Синтаксис

первинний рядок: слово

iдентифiкатор

число

змiннаn-ка: первинний рядок _ первинний рядок

n-ка_[ первинний рядок ] ...

Семантика

Енки використовуються для видiлення кортежiв вiдношень, iмена яких вiдсутнi у фразах природної мови i припускаються за умовчанням. Енка - це складове iм'я, яке є неподiльною лексичною одиницею. Енка з числом компонент, що дорiвнює двум, називається парою. Енка, що мiстить хоча б одну змiнну, вважається змiнною.

Приклади