Abstract: In order to verify whether the given states satisfiy the bisimulation, a local algorithm of fuzzy bisimulation is proposed. The algorithm takes verification and traversal at the same. While verify the given states whether satisfiy the fuzzy bisimulation, the state space is dynamically increased, so that the algorithm only needs to traverse part of the state space to complete the verification. In some cases, the local algorithm of fuzzy bisimulation can verify whether the given states satisfiy the fuzzy bisimulation more quickly, especially when the two states do not satisfy the fuzzy bisimulation. The local algorithm and the existing global algorithm are implemented by Java and compared by experiments.The experiments, shows that this algorithm is more efficient than the existing global fuzzy bisimulation algorithm when the given states do not satisfiy the bisimulation.