 MARK_OPERATIONS: The machine U marks the operations that it needs to execute in order to compute the next complete configuration of \(T_n\). The printing and move (L,R, N) operations are marked with u and the next state with y. All marks z are erased. Continuing with our example, U will mark \(\eqref{quint_univ}\) as follows: 