An Efficient Computation of the Equation K-Automaton of a Regular K-Expression