3. Inverses of MTTs preserve REGT
Theorem:  If  M 2 MTT and K 2 REGT, then M-1(K) 2 REGT.
EXERCISE:
à  What is the complexity of this construction?
(hint:  take as measure the number of
          states of the new automaton.)