Matrix approach to simulation and bisimulation analysis of finite automata
Xiangru Xu, Yiguang Hong, Hai Lin · 2012
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.