Evaluando Mk

EvalMHsExc> maquinaK (Ev ([],OpDB OProd [VNumDB 0, (OpDB OProd [VNumDB 1, VNumDB 9])]))
Ev ([MProdI () (OpDB OProd [VNumDB 1,VNumDB 9])],VNumDB 0)
EvalMHsExc> maquinaK (Ev ([MProdI () (OpDB OProd [VNumDB 1,VNumDB 9])],VNumDB 0))
Dv ([MProdI () (OpDB OProd [VNumDB 1,VNumDB 9])],VNumDB 0)
EvalMHsExc> maquinaK (Dv ([MProdI () (OpDB OProd [VNumDB 1,VNumDB 9])],VNumDB 0))
Ev ([MProdD (VNumDB 0) ()],OpDB OProd [VNumDB 1,VNumDB 9])
EvalMHsExc> {Interrupted!}
EvalMHsExc> maquinaK (Ev ([MProdD (VNumDB 0) ()],OpDB OProd [VNumDB 1,VNumDB 9]))
Ev ([MProdI () (VNumDB 9),MProdD (VNumDB 0) ()],VNumDB 1)
EvalMHsExc> maquinaK (Ev ([MProdI () (VNumDB 9),MProdD (VNumDB 0) ()],VNumDB 1))
Dv ([MProdI () (VNumDB 9),MProdD (VNumDB 0) ()],VNumDB 1)
EvalMHsExc> maquinaK (Dv ([MProdI () (VNumDB 9),MProdD (VNumDB 0) ()],VNumDB 1))
Ev ([MProdD (VNumDB 1) (),MProdD (VNumDB 0) ()],VNumDB 9)
EvalMHsExc> maquinaK (Ev ([MProdD (VNumDB 1) (),MProdD (VNumDB 0) ()],VNumDB 9))
Dv ([MProdD (VNumDB 1) (),MProdD (VNumDB 0) ()],VNumDB 9)
EvalMHsExc> maquinaK (Dv ([MProdD (VNumDB 1) (),MProdD (VNumDB 0) ()],VNumDB 9))
Dv ([MProdD (VNumDB 0) ()],VNumDB 9)
EvalMHsExc> maquinaK (Dv ([MProdD (VNumDB 0) ()],VNumDB 9))
Dv ([],VNumDB 0)
EvalMHsExc>