Added non-determinism support & more examples

Now the MT can work as a non-determinist MT. Added some examples
(shift.txt checks non-determinism)