Matrix approach to simulation and bisimulation analysis of finite automata

In this paper, a matrix-based method to investigate the simulation and bisimulation relations of (two) finite automata is proposed. To solve the problem, composition operations of automata are studied first, and then the algorithms and criteria are provided to check their simulation and bisimulation relations. An illustrative example is also provided.