Template:Categories: Finite-state machines