This paper investigates the stabilization of finite state machines (FSMs) under function perturbations. First, by using the semi-tensor product (STP) of matrices, we derive an algebraic expression for ...