acyclic machine