Adding missing features:
    - If the initial state reaches a final state following empty transtions then the intial is also a final state.
    - test to verify if given to DFA's the intial states are both accepting or rejecting states.