ВУЗ:
Составители:
29
Допустимые алфавиты входных сигналов, а также их тип (абст-
рактные, двоичные), выходных сигналов, событий определяются с
использованием масок в пункте основного меню [Настройки|Опции]
на вкладке "Общие" так же, как и для языка РВАС.
Желательно (не обязательно) начальное состояние алгоритма
обозначать в соответствии с маской, установленной для такого собы-
тия в языке РВАС.
Окно редактора СКУиСВФ включает в себя поле для редактиро-
вания текста и поле сообщений, в нем выводятся сообщения об
ошибках в синтаксисе языка, выявленных при проверке или преобра-
зовании. По правой кнопке мыши вызывается контекстное меню,
дублирующее поля меню [Правка|Вырезать|Копировать| Вставить].
В окне редактора допустимые операции языка обозначаются сле-
дующим образом:
⎯ отрицание –
x
(при включенном верхнем регистре введен
символ "
x
");
⎯ конъюнкция — &;
⎯ дизъюнкция —
∨ (при включенном верхнем регистре введен
символ "|").
Каждое уравнение должно обязательно заканчиваться символом
";". Для изменения порядка вычисления используются круглые скобки
без ограничения уровня вложенности. Если выражение не умещает-
ся в одну строку, то перенос на следующую строку производится без
специального признака, т. к. конец его определяется по ";". При запи-
Допустимые алфавиты входных сигналов, а также их тип (абст-
рактные, двоичные), выходных сигналов, событий определяются с
использованием масок в пункте основного меню [Настройки|Опции]
на вкладке "Общие" так же, как и для языка РВАС.
Желательно (не обязательно) начальное состояние алгоритма
обозначать в соответствии с маской, установленной для такого собы-
тия в языке РВАС.
Окно редактора СКУиСВФ включает в себя поле для редактиро-
вания текста и поле сообщений, в нем выводятся сообщения об
ошибках в синтаксисе языка, выявленных при проверке или преобра-
зовании. По правой кнопке мыши вызывается контекстное меню,
дублирующее поля меню [Правка|Вырезать|Копировать| Вставить].
В окне редактора допустимые операции языка обозначаются сле-
дующим образом:
⎯ отрицание – x (при включенном верхнем регистре введен
символ "x");
⎯ конъюнкция — &;
⎯ дизъюнкция — ∨ (при включенном верхнем регистре введен
символ "|").
Каждое уравнение должно обязательно заканчиваться символом
";". Для изменения порядка вычисления используются круглые скобки
без ограничения уровня вложенности. Если выражение не умещает-
ся в одну строку, то перенос на следующую строку производится без
специального признака, т. к. конец его определяется по ";". При запи-
29
Страницы
- « первая
- ‹ предыдущая
- …
- 27
- 28
- 29
- 30
- 31
- …
- следующая ›
- последняя »
