Para simplificar la codificación, suponemos que toda MT tiene un único estado inicial denotado por formula_46, y un único estado final denotado formula_47.