Acyclic--Usually, control engineers simply insist that their block … [between finite-state machine inputs and outputs]. … This approach turns out to be well-suited to … [for each clock tick, Read inputs, Compute outputs, Update memory]. … The Lustre language adopts this view. [See this paper for further discussion of Lustre and Scade.]
Google-1
Google-2
Copyright clearance needed for quotation.