Non-deterministic Finite State Machine (with Empty Moves) Implementation