Algorithms for computing the greatest simulations and bisimulations between fuzzy automata