Glushkov and Equation Automata for KAT Expressions