Machine can now have multiple transitions of same character. Added new file for non-deterministic states