Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П. - 75 стр.

всех других последовательностей, не соответствующих событию S α , ЦА
будет выдавать пустой сигнал.

                4.2. Язык исчисления предикатов
      Как следует из [29,34] язык исчисления предикатов имеет ряд
преимуществ по сравнению с другими начальными языками, в том числе и с
языком РВАС.
      Во-первых, язык исчисления предикатов естественно описывает
словесные     алгоритмы     функционирования     устройств    цифровой
вычислительной техники.
      Во-вторых, язык исчисления предикатов значительно шире, т.е.
выразительнее языка РВАС.
      В-третьих, алгоритмические проблемы проектируемых цифровых
устройств могут формулироваться и решаться на том же языке, на котором
решается проблема синтеза абстрактного автомата.
      В связи с тем, что любой новый предлагаемый для использования
начальный язык требует доказательств представимости в цифровом автомате
событий, описываемых на этом языке, то в начале этого раздела будет
показано, что все регулярные выражения алгебры событий, в том числе
элементарное одноэлементное событие и событие с итерацией сложного
регулярного выражения, могут быть описаны вполне определенным частным
видом формул исчисления предикатов, не имеющих кванторов по
функциональной переменной, т.е. частным видом формул исчисления
предикатов первого порядка с ограниченными кванторами [34].
      Полученный частный вид формул исчисления предикатов первого
порядка, не имеющих кванторов по функциональной переменной, будет
принят в качестве основы для описания событий, реализуемых в алгоритме
управления преобразованием информации [22].

         4.2.1.Описание регулярных выражений алгебры
               событий рекурсивными предикатами
       При описании событий в алфавите Z z1 , z 2 ,..., z F  будем учитывать
два условия:
       1) Всякий абстрактный автомат получает входные сигналы во все
моменты времени t=1,2,3,… .Если же реальный автомат в какие-то моменты
времени не получает сигналов из алфавита [Z ] , то для описания такого
случая будем использовать пустой входной сигнал. В исчислении предикатов
пустой входной сигнал (пустое слово) е(τ) может быть описан предикатной
формулой
                       e( τ)  z1 ( τ)  z 2 ( τ)  ...  z F ( τ) .    (4.15)

                                                                                 75