Синтез и отладка алгоритмов функционирования цифровых устройств управления - 19 стр.

          2.4    Язык систем канонических уравнений
                     и систем функций выходов
    Можно также описать алгоритм УА на языке систем канонических урав-
нений и систем функций выходов (СКУиСВФ, НДСКУиСВФ) [2,3]. Для
этого с использованием пункта основного меню [Файл|Создать] или кноп-
ки "СКУ" на панели инструментов "Файл" открывают окно редактора,
предназначенного для записи алгоритма на этом языке (при сохранении
файла ему автоматически назначается расширение ".sku").
    Допустимые алфавиты входных сигналов, а также их тип (абстрактные,
двоичные), выходных сигналов, событий определяются с использованием
масок в пункте основного меню [Настройки|Опции] на вкладке "Общие"
так же, как и для языка РВАС.
    Желательно (не обязательно) начальное состояние алгоритма обозначать
в соответствии с маской, установленной для такого события в языке РВАС.
    Окно редактора СКУиСВФ включает в себя поле для редактирования
текста и поле сообщений, в нем выводятся сообщения об ошибках в синтак-
сисе языка, выявленных при проверке или преобразовании. По правой
кнопке мыши вызывается контекстное меню, дублирующее поля меню
[Правка|Вырезать|Копировать| Вставить].
    В окне редактора допустимые операции языка обозначаются следующим
образом:
   ⎯    отрицание – x (при включенном верхнем регистре введен символ
"x");
   ⎯    конъюнкция — &;
    ⎯ дизъюнкция — ∨ (при включенном верхнем регистре введен сим-
вол "|").
    Каждое уравнение должно обязательно заканчиваться символом ";". Для
изменения порядка вычисления используются круглые скобки без ограни-
чения уровня вложенности. Если выражение не умещается в одну строку, то
перенос на следующую строку производится без специального признака, т.
к. конец его определяется по ";". При записи алгоритма можно вставлять
комментарии. Они могут быть двух видов:
   ⎯    начинаются с // и до конца строки;
   ⎯ начинаются от /* и заканчиваются */ и располагаются на любом количе-
стве строк.

                                      19