Higman-Thompson monoids have connections with digital circuits, enabling efficient completion algorithms.
