Алгебра обобщенных асинхронных событий и ее применение для описания поведения асинхронных дискретных устройств

Приводится алгебра обобщенных асинхронных событий, образованных путем применения конечного числа раз к буквам заданного алфавита операций объединения, совмещения, конкатенации и итерации. Излагается использующий элементы этой алгебры аппарат графов операций, предназначенный для описания поведения асинхронных дискретных устройств. Рассмотрены детерминированные и недетерминированные графы операций и вопросы соответствия между графами операций и конечными автоматами.