Модель асинхронного автомата с прямыми переходами входных и выходных наборов

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