Синтез и отладка алгоритмов функционирования цифровых устройств управления. Вашкевич Н.П - 25 стр.

вому краю; [Формат|По правому краю] — выравнивание по правому
краю; [Формат|По центру] — выравнивание по центру; [Фор-
мат|Перенос слов] — включить/выключить режим переноса слов;
[Формат|Шрифт] — изменение параметров шрифта; [Фор-
мат|Увеличить шрифт] — увеличить размер шрифта; [Фор-
мат|Уменьшить шрифт] — уменьшить размер шрифта.

   Далее рассмотрим стандартные языки, которые используются в
приложении для описания работы УА.

   2.3   Язык регулярных выражений алгебры событий

   СОМПА позволяет описывать алгоритмы на языке регулярных
выражений алгебры событий (РВАС) [2]. Для этого с использованием
пункта основного меню [Файл|Создать] или кнопки "РВАС" на панели
инструментов "Файл" открывают окно редактора, предназначенного
для записи регулярного выражения (при сохранении файла ему ав-
томатически назначается расширение ".rvs").

   Алфавиты входных сигналов регулярного выражения, а также их
тип (абстрактные, двоичные), выходных сигналов, событий опреде-
ляются с использованием масок. Для установки масок используется
меню [Настройки|Опции] и вкладка "Общие". Так, если в регулярном
выражении используются абстрактные входные сигналы и для них
установлена маска z, то в окне редактора допустим ввод входных
сигналов как z с цифровым индексом (например, z4 и т. д.). Установ-
ленные маски используются при проверке синтаксиса записи алго-
ритма.



                                25