supported in part by the National Natural Science Foundation of China (Grant Nos. U1804150, 62073124)。
The logical blocking of finite state machines(FSMs) is examined at the three levels of formulation,detection, and search from an STP viewpoint(semi-tensor product of matrices). The research idea regards an FSM as a lo...