Реферат: Мова опису задач SITPLAN-2

Синтаксис

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

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

число

змiнна

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

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

Семантика

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

Приклади

Енки: ІВАНОВ_МИКОЛА_ІВАНОВИЧ;

ПОВЕРХНЯ_А_ОБ'ЄКТА_В;

ГОСТ_24_42_56;

ТОЧКА_Х1_Х2_Х3.

Пари: СТІЛ_А; ЯЩИК_Х5; ВЕЛИКИЙ_КОНТЕЙНЕР.

Енка змiнна: Х1_МИКОЛА_ІВАНОВИЧ.

4. Вирази

Синтаксис

операцiя: { арифметична | логiчна | тригонометрична |

вiдношення | присвоювання }

префiкс заперечення: НІ

NOT

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

n -ка

первинний рядок ( описовий вираз )

( описовий вираз )

префiкс заперечення, описовий вираз

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

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