Adding non-determinism
Finished non-deterministic machine
Updated readme