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

        1.5. Иерархия входных сигналов и событий,
     реализуемых в системах логического управления
       В данном разделе уточняются и систематизируются введенные ранее
некоторые понятия и определения и вводятся ряд новых понятий и
определений, связанных с представлениями входных сигналов и событий,
реализуемых в системах управления. Эти понятия и определения будут в
дальнейшем использоваться в последующих разделах пособия при
рассмотрении вопросов, связанных с эквивалентными преобразованиями
НДА, формализацией алгоритмов управления и структурного синтеза систем
управления.
       Частный входной сигнал — сигнал, определяемый сочетанием
(конъюнкцией) тех элементарных двоичных входных сигналов из алфавита
[Х], взятых с отрицанием или без них, которые действуют в одной из любых
ветвей алгоритма управления на данном его шаге и которые определяют
вполне определенное (частное) событие. Будем обозначать эти сигналы
буквой Хi,j, означающей, что под действием этого сигнала происходит
переход от события Si к событию Sj в пределах одного шага алгоритма
управления. Под шагом алгоритма понимается путь от одной операторной
вершины к другой, проходящей только через логические условия.
       Полный входной сигнал в алфавите [Х] - сигнал, определяемый
сочетанием (конъюнкцией) тех элементарных двоичных входных сигналов,
взятых с отрицанием или без них, действующих во всех ветвях на данном
шаге алгоритма управления, которые определяют вполне определенное
состояние автомата (полное событие). Будем обозначать этот сигнал
символом Х(am, as), означающим, что под действием этого сигнала
происходит переход ДА из состояния am в состояние as в пределах одного
шага алгоритма управления.
       Полный входной сигнал в алфавите [Z] . Этому сигналу будет
соответствовать полный входной сигнал в алфавите [X], определяемый
сочетанием всех L элементарных двоичных входных сигналов из алфавита
[X], взятых с отрицанием или без них, действующих во всех ветвях и на всех
шагах алгоритма управления. Максимально возможное число таких
сигналов равно 2L. Будем обозначать такие сигналы символом Z(am, as),
означающий, что под действием этого сигнала происходит переход ДА из
состояния am в состояние as в пределах одного шага алгоритма управления.
     Пустой входной сигнал — специально введенный абстрактный
входной сигнал, называемый пустой буквой е (пустое слово нулевой длины)»
позволяющий считать, что абстрактный автомат (математическая модель
автомата) получает входные сигналы во все множества времени t = 0, 1, 2, ...,
несмотря на то, что реальный автомат в какие-то моменты времени может и
не получать никаких реальных входных сигналов [1]. Таким образом,

                                                                           21