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

процедурний вираз: ! описовий вираз

! операцiйний вираз

простий вираз: декларативний вираз

процедурний вираз

квантор: УВЕСЬ | Є

обмежувач: ЦИКЛ | СТАРТ | ТРИВ | СИТ | ДОС | МАХ | МIN

iменувальна частина виразу:

описовий вираз ...

квантор описовий вираз ...

обмежувач описовий вираз ...

складовий вираз: iменувальна частина виразу: простий вираз: ... складовий вираз

( простий вираз: ) ...

вираз: простий вираз

складовий вираз

список виразiв: { вираз; } ...

( список виразiв )

{ список виразiв }

список виразiв

[ список виразiв ]

Семантика

Вираз є основною семантичною одиницею при опису задач. В мовi SITPLAN-2 використується два типи виразiв: описовi та операцiйнi. В кожному з них видiляються два рiзновида виразiв: декларативнi та процедурнi (останнi починаються з символу !). Крiм того вирази можуть бути простими i складовими.

4.1.Описовi вирази

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