Refactored binary alphabet into separate package so it can be shared with non-deterministic FSMs. Created initial non-deterministic FSM class.