Для синтеза и анализа структуры многотактных схем значительный интерес представляет алгебра событий и состояний, или обобщенная Булева алгебра, включающая время. Синтезируем с ее помощью схему управления разветвленными конвейерными линиями. Условия, которым должна удовлетворять синтезированная схема, определяются из анализа серийно выпускаемых схем.
For synthesis and analysis of the structure of multi-cycle circuits, the algebra of events and states, or generalized Boolean algebra including time, is of considerable interest. Let us synthesize with its help the control scheme of branched conveyor lines. The conditions, which the synthesized circuit must satisfy, are determined from the analysis of serially produced circuits.