шок Лог_сумми>: =? |
or <Лог_терм 1> <залишок суми>
<Лог_терм 1>:=<Лог_терм 2> <залишок Лог_проізведенія>
<залишок Лог_проізведенія>: =? | and <Лог_терм 2> <залишок Лог_проізведенія>
<Лог_терм 2>:=<вираз порівняння> | (<Логічне вираз>) | <виклик функції> | not < Лог_терм 2>
<вираз порівняння>:=<просте вираження> <знак порівняння> <просте вираження>
<знак порівняння>:=<|> | <= |>=| <> |=
.2 Опис семантики вхідної мови
Представлення даних різних типів в оперативній пам'яті
ТіпРазмер, байтДіапазон значенійInteger2-32768 .. 32767Char1-128 ... 127
Вхідна мова також підтримує обмежений тип.
Обмежений тип описує безліч чисел, що знаходяться між двома значеннями заданих константних виразів. Це безліч має бути перечислимого, отже, значення константних виразів повинні бути цілими числами. Всі результуючі і проміжні (отримані на якомусь кроці обчислення) значення константних виразів повинні відповідати обмеженням, що накладається на вбудований тип Integer. У разі невідповідності компілятор поверне помилку компіляції.
Операції вхідного мови та їх пріоритет
Операції перераховані в порядку убування пріоритету. Операції виконуються без урахування переповнення.
Знак операцііПорядок виконання та особливості использованияСемантический сенс - Зліва направо, УнарнийУнарний мінус, визначений для числових змінних, повертає змінну такого ж типу, що й отримує. Змінює знак числа на протилежний. * Зліва направо, БінарнийУмноженіе, визначено для числових змінних. Результат обчислюється в найбільшому типі серед зазначених операндів / Зліва направо, БінарнийДеленіе з відкиданням дробової частини, визначено для числових змінних. Результат обчислюється в найбільшому типі серед зазначених операндів + Зліва направо, БінарнийСложеніе, визначено для числових змінних. Результат обчислюється в найбільшому типі серед зазначених операндів-Зліва направо, БінарнийВичітаніе, визначено для числових змінних. Результат обчислюється в найбільшому типі серед зазначених операндів =, <>, <,>, <=,>=Зліва направо, БінарнийОпераціі порівняння, визначені для числових змінних. Потрібні лише для формування условіяnotСлева направо, УнарнийЛогіческое НЕ, визначено для операцій порівняння. Необхідно тільки для формування условіяandСлева направо, БінарнийЛогіческое І, визначено для операцій порівняння. Необхідно тільки для формування условіяorСлева направо, БінарнийЛогіческое АБО, визначено для операцій порівняння. Необхідно тільки для формування умови
Конструкції вхідної мови
Оператор циклу з постусловіем repeat-until.
<цикл з постусловіем>:= repeat <послідовність операторів> until <умова>
1. Виконується оператор (Тіло циклу).
2. Обчислюється умова.
. Виконується перехід на пункт 1 в разі, якщо умова не виповнилося.
Оператор присво...
